pub const __SI_ERRNO_THEN_CODE: u32 = 1;