fn __gexf2(a: f80, b: f80) callconv(.c) i32
fn __gexf2(a: f80, b: f80) callconv(.c) i32 { return @backingInt(comparef.cmp_f80(comparef.GE, a, b)); }