fn __subdf3(a: f64, b: f64) callconv(.c) f64
fn __subdf3(a: f64, b: f64) callconv(.c) f64 { return sub(a, b); }