const MAX_CTXT: u32 = _; // 65_534u32