pub const BPF_CMPXCHG: u32 = 241; // 241u32