xdef    __ieeemull
    xref    ___mulsf3
__ieeemull:
    jmp     ___mulsf3