// Generated by re2java
// re2java $INPUT -o $OUTPUT

import java.nio.charset.StandardCharsets;



class Main {
    static boolean lex_unsigned(byte[] yyinput) {
        int yycursor = 0;
        
{
    int yych = 0;
    int yystate = 0;
    yyl: while (true) {
        switch (yystate) {
            case 0:
                yych = Byte.toUnsignedInt(yyinput[yycursor]);
                yycursor += 1;
                if (yych >= 0xFF) {
                    yystate = 1;
                    continue yyl;
                }
                { return false; }
            case 1:
                { return true; }
            default:
                throw new IllegalStateException("internal lexer error");
        }
    }
}

    }

    static boolean lex_signed(byte[] yyinput) {
        int yycursor = 0;
        
{
    int yych = 0;
    int yystate = 0;
    yyl: while (true) {
        switch (yystate) {
            case 0:
                yych = yyinput[yycursor];
                yycursor += 1;
                if (yych >= 0xFF) {
                    yystate = 1;
                    continue yyl;
                }
                { return false; }
            case 1:
                { return true; }
            default:
                throw new IllegalStateException("internal lexer error");
        }
    }
}

    }

    public static void main(String []args) {
        assert lex_unsigned(("\u00ff\0").getBytes(StandardCharsets.ISO_8859_1));
        assert !lex_signed(("\u00ff\0").getBytes(StandardCharsets.ISO_8859_1)); // lexer works incorrectly
    }
};
