Symbol: write_uint32