pub const __LDOUBLE_REDIRECTS_TO_FLOAT128_ABI: u32 = 0;