pub const doubledagger: u32 = 0xaf2; // 2_802u32