Symbol: __ucmpdi2