Symbol: get_ui32