class CtrlAndCharacterPattern implements CharacterPattern {
    @Override
    public Matching match(List<Character> seq) {<FILL_FUNCTION_BODY>}
}

        int size = seq.size(); char ch = seq.get(0);
        if (size != 1) {
            return null; // nope
        }
        if (ch < 32) {
            // Control-chars: exclude lf,cr,Tab,Esc(^[), but still include ^\, ^], ^^ and ^_
            char ctrlCode;
            switch (ch) {
            case '\n': case '\r': case '\t': case 0x08:
            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, false);
            return new Matching( ks ); // yep
        } else {
            return null; // nope
        }
    
<no_super_class>