pub const __STDC_IEC_559__: u32 = 1;