__fixdfdi
__strong_alias(__aeabi_d2lz, __fixdfdi);
quad_t __fixdfdi(double) __dso_protected;
#define float64_to_int64_round_to_zero __fixdfdi
__strong_alias(__aeabi_d2lz, __fixdfdi);
quad_t __fixdfdi(double);