fn __addsf3(a: f32, b: f32) callconv(.c) f32
fn __addsf3(a: f32, b: f32) callconv(.c) f32 { return addf3(f32, a, b); }