Symbol: MXGE_HIGHPART_TO_U32