fn __addhf3(a: f16, b: f16) callconv(.c) f16
fn __addhf3(a: f16, b: f16) callconv(.c) f16 { return addf3(f16, a, b); }