/* Generated by re2swift */
#sourceLocation(file: "codegen/swift/001_basic_s.re", line: 1)
// re2swift $INPUT -o $OUTPUT --api generic -s

func lex(_ string: UnsafeBufferPointer<UInt8>) -> Bool {
  var cursor = 0
  
#sourceLocation(file: "codegen/swift/001_basic_s.swift", line: 9)
  var yych: UInt8 = 0
  var yystate: UInt = 0
  yyl: while true {
    switch yystate {
      case 0:
        yych = string[cursor]
        cursor += 1
        if yych <= 0x30 {
          yystate = 1
          continue yyl
        }
        if yych <= 0x39 {
          yystate = 2
          continue yyl
        }
        yystate = 1
        continue yyl
      case 1:
#sourceLocation(file: "codegen/swift/001_basic_s.re", line: 12)
        return false
#sourceLocation(file: "codegen/swift/001_basic_s.swift", line: 30)
      case 2:
        yych = string[cursor]
        if yych <= 0x2F {
          yystate = 3
          continue yyl
        }
        if yych <= 0x39 {
          cursor += 1
          yystate = 2
          continue yyl
        }
        yystate = 3
        continue yyl
      case 3:
#sourceLocation(file: "codegen/swift/001_basic_s.re", line: 11)
        return true
#sourceLocation(file: "codegen/swift/001_basic_s.swift", line: 47)
      default: fatalError("internal lexer error")
    }
  }
#sourceLocation(file: "codegen/swift/001_basic_s.re", line: 13)

}

@main struct Program {
  static func main() {
    let test: StaticString = "1234\0"
    test.withUTF8Buffer {
      assert(lex($0))
    }
  }
}
