fn __adddf3(a: f64, b: f64) callconv(.c) f64
fn __adddf3(a: f64, b: f64) callconv(.c) f64 { return addf3(f64, a, b); }