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