fn __unordxf2(a: f80, b: f80) callconv(.c) i32
fn __unordxf2(a: f80, b: f80) callconv(.c) i32 { return unordcmp(f80, a, b); }