/* Generated by re2swift */
// re2swift $INPUT -o $OUTPUT -i

func lex(_ yyinput: UnsafePointer<UInt8>) -> Bool {
  var yycursor = 0
  
  var yych: UInt8 = 0
  var yystate: UInt = 0
  yyl: while true {
    switch yystate {
      case 0:
        yych = yyinput[yycursor]
        yycursor += 1
        switch yych {
          case 0x31...0x39:
            yystate = 2
            continue yyl
          default:
            yystate = 1
            continue yyl
        }
      case 1: return false
      case 2:
        yych = yyinput[yycursor]
        switch yych {
          case 0x30...0x39:
            yycursor += 1
            yystate = 2
            continue yyl
          default:
            yystate = 3
            continue yyl
        }
      case 3: return true
      default: fatalError("internal lexer error")
    }
  }

}

assert(lex("1234"))
