xdef    __ieeemuld
    xref    ___muldf3
__ieeemuld:
    jmp     ___muldf3