pub unsafe extern "C" fn floatx80_to_int32(
    arg1: floatx80,
    status: *mut float_status
) -> i32