__fixunsdfsi
#define float64_to_uint32_round_to_zero __fixunsdfsi
__strong_alias(__aeabi_d2uiz, __fixunsdfsi);