fn __truncxfsf2(a: f80) callconv(.c) f32
fn __truncxfsf2(a: f80) callconv(.c) f32 { return trunc_f80(f32, a); }