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