pub const __NR_sysinfo: u32 = 99; // 99u32