Symbol: u32_le