floatx80_to_int32_round_to_zero
int floatx80_to_int32_round_to_zero( floatx80 ) __dso_protected;
time_a_floatx80_z_int32( floatx80_to_int32_round_to_zero );
int floatx80_to_int32_round_to_zero( floatx80 );