pub fn __muldf3(a: f64, b: f64) callconv(.c) f64
pub fn __muldf3(a: f64, b: f64) callconv(.c) f64 { return mulf3(f64, a, b); }