pub const __NR_msgctl: u32 = 71; // 71u32