mapped write_int32 and write_int16