Symbol: cast_to_uint32