pub const __NR_tee: u32 = 276;