const CTXT_INTERNED_MARKER: u16 = 0b1111_1111_1111_1111;