pub const __NR_shmdt: u32 = 67; // 67u32