class CtrlAltAndCharacterPattern implements CharacterPattern {

    @Override
    public Matching match(List<Character> seq) {<FILL_FUNCTION_BODY>}
}

        int size = seq.size();
        if (size > 2 || seq.get(0) != KeyDecodingProfile.ESC_CODE) {
            return null; // nope
        }
        if (size == 1) {
            return Matching.NOT_YET; // maybe later
        }
        char ch = seq.get(1);
        if (ch < 32 && ch != 0x08) {
            // Control-chars: exclude Esc(^[), but still include ^\, ^], ^^ and ^_
            char ctrlCode;
            switch (ch) {
            case KeyDecodingProfile.ESC_CODE: return null; // nope
            case 0:  /* ^@ */ ctrlCode = ' '; break;
            case 28: /* ^\ */ ctrlCode = '\\'; break;
            case 29: /* ^] */ ctrlCode = ']'; break;
            case 30: /* ^^ */ ctrlCode = '^'; break;
            case 31: /* ^_ */ ctrlCode = '_'; break;
            default: ctrlCode = (char)('a' - 1 + ch);
            }
            KeyStroke ks = new KeyStroke( ctrlCode, true, true);
            return new Matching( ks ); // yep
        } else if (ch == 0x7f || ch == 0x08) {
            KeyStroke ks = new KeyStroke( KeyType.BACKSPACE, false, true);
            return new Matching( ks ); // yep
        } else {
            return null; // nope
        }
    
<no_super_class>