Symbol: GET_HIGH_WORD