pub fn __fmaxx(x: f80, y: f80) callconv(.c) f80
pub fn __fmaxx(x: f80, y: f80) callconv(.c) f80 { return generic_fmax(f80, x, y); }