R/tcc_ptr_utils.R
tcc_write_u64.Rd
Write an unsigned 64-bit integer
tcc_write_u64(ptr, offset, value)
External pointer
Byte offset
Integer value to write