const MAX_CTXT: u32 = 0b1111_1111_1111_1111;