pub const __NR_oldolduname: u32 = 59;