rtl_write_byte_with_val32
rtl_write_byte_with_val32);
ptrarray, arraylength, rtl_write_byte_with_val32);