float64_to_uint32_round_to_zero
#define float64_to_uint32_round_to_zero ___float64_to_uint32_round_to_zero
#define float64_to_uint32_round_to_zero __fixunsdfsi
int32 float64_to_uint32_round_to_zero( float64 a )