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