pub const BPF_RSH: u32 = 0x70; // 112u32