new function writer_writeu32()