pub fn __trunctfdf2(a: f128) callconv(.c) f64
pub fn __trunctfdf2(a: f128) callconv(.c) f64 { return truncf(f64, f128, a); }