hex.write_byte_and_inc¶
like: *ptr = src[:2]
ptr++
src is a hex[:2]. ptr is a hex[:w/4] that holds an address, which we assume is dw-aligned.
Signature¶
def write_byte_and_inc ptr, src { ... }
Defined in hex/pointers/write_pointers.fj — lines 68–71 (view on GitHub).
Complexity¶
Time:
w(0.75@+5) + 26@+51Space:
w(1.13@+32) + 22@+255
See the complexity glossary for what @, w, dw, dbit, n mean.