pub const __NR_sysinfo: u32 = 116;