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