hex.read_byte_and_inc

like:  dst[:2] = *ptr
ptr++
dst is a hex[:2]. ptr is a hex[:w/4] that holds an address, which we assume is dw-aligned.

Signature

def read_byte_and_inc dst, ptr { ... }

Defined in hex/pointers/read_pointers.fj — lines 54–57 (view on GitHub).

Complexity

• Time: w(0.75@+ 5) + 18@+27

• Space: w(1.13@+32) + 14@+127

See the complexity glossary for what @, w, dw, dbit, n mean.

Depends on

• hex.ptr_inc

• hex.read_byte/2