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