float128_to_int32_round_to_zero
int float128_to_int32_round_to_zero( float128 );
int float128_to_int32_round_to_zero( float128 );
int float128_to_int32_round_to_zero( float128 );
int float128_to_int32_round_to_zero( float128 );
!!!int32 float128_to_int32_round_to_zero( float128 );
time_a_float128_z_int32( float128_to_int32_round_to_zero );