pub const BPF_5_1: u16 = 249; // 0x00f9u16