Symbol: get_ui4