Symbol: put_u32_le