Symbol: __ll_highpart