pub const notelementof: u32 = 0x1002209; // 16_785_929u32