hex.zero_ptr

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

Signature

def zero_ptr ptr < hex.pointers.read_byte { ... }

Defined in hex/pointers/write_pointers.fj — lines 20–24 (view on GitHub).

Complexity

• Time: w(0.75@+5)  + 15@+37

• Space: w(0.75@+29) + 15@+176

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

Depends on

• hex.pointers.read_byte_from_inners_ptrs

• hex.pointers.set_flip_and_jump_pointers

• hex.pointers.xor_byte_to_flip_ptr

Used by

• hex.push_ret_address