pub const __LDOUBLE_REDIRECTS_TO_FLOAT128_ABI: u32 = 0; // 0u32