pub const __NR_pipe2: u32 = 293; // 293u32