pub extern "C" fn __subdf3(a: f64, b: f64) -> f64