fn __fixxfsi(a: f80) callconv(.c) i32
fn __fixxfsi(a: f80) callconv(.c) i32 { return intFromFloat(i32, a); }