R/tcc_ptr_utils.R
tcc_write_i64.Rd
Write a signed 64-bit integer
tcc_write_i64(ptr, offset, value)
External pointer
Byte offset
Integer value to write