fn __truncxfdf2(a: f80) callconv(.c) f64
fn __truncxfdf2(a: f80) callconv(.c) f64 { return trunc_f80(f64, a); }