# 17 "debugger_lexer.mll" open Debugger_parser exception Int_overflow # 10 "debugger_lexer.ml" let __ocaml_lex_tables = { Lexing.lex_base = "\000\000\253\255\001\000\255\255\002\000\005\000\253\255\000\000\ \007\000\001\000\254\255\003\000\072\000\236\255\237\255\040\001\ \239\255\240\255\241\255\242\255\075\001\244\255\110\001\145\001\ \247\255\248\255\180\001\215\001\000\000\232\001\004\000\049\002\ \001\003\008\000\252\255\031\000\010\000\018\000\151\000\124\002\ \034\000\012\000"; Lexing.lex_backtrk = "\001\000\255\255\000\000\255\255\001\000\255\255\255\255\001\000\ \000\000\000\000\255\255\000\000\255\255\255\255\255\255\017\000\ \255\255\255\255\255\255\255\255\012\000\255\255\010\000\009\000\ \255\255\255\255\006\000\005\000\004\000\004\000\019\000\002\000\ \001\000\000\000\255\255\255\255\255\255\255\255\255\255\004\000\ \004\000\004\000"; Lexing.lex_default = "\004\000\000\000\255\255\000\000\004\000\008\000\000\000\255\255\ \008\000\011\000\000\000\011\000\013\000\000\000\000\000\255\255\ \000\000\000\000\000\000\000\000\255\255\000\000\255\255\255\255\ \000\000\000\000\255\255\255\255\255\255\255\255\035\000\255\255\ \255\255\255\255\000\000\035\000\255\255\255\255\255\255\255\255\ \255\255\255\255"; Lexing.lex_trans = "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\007\000\003\000\003\000\003\000\002\000\007\000\002\000\ \255\255\033\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \007\000\000\000\000\000\000\000\000\000\007\000\034\000\255\255\ \033\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\041\000\041\000\041\000\041\000\000\000\000\000\ \000\000\034\000\040\000\040\000\040\000\040\000\040\000\040\000\ \040\000\040\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\033\000\040\000\040\000\040\000\040\000\040\000\040\000\ \040\000\040\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \033\000\020\000\030\000\024\000\022\000\015\000\015\000\000\000\ \019\000\018\000\027\000\015\000\000\000\026\000\025\000\015\000\ \029\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\021\000\000\000\015\000\015\000\015\000\015\000\ \023\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\017\000\000\000\016\000\015\000\032\000\ \000\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\000\000\015\000\000\000\015\000\039\000\ \039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\ \039\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \039\000\039\000\039\000\039\000\039\000\039\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \039\000\039\000\039\000\039\000\039\000\039\000\000\000\000\000\ \001\000\010\000\255\255\255\255\255\255\006\000\000\000\255\255\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\255\255\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\000\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \014\000\015\000\000\000\000\000\015\000\015\000\015\000\000\000\ \000\000\000\000\015\000\015\000\000\000\015\000\015\000\015\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\015\000\000\000\015\000\015\000\015\000\015\000\ \015\000\000\000\000\000\000\000\015\000\000\000\000\000\015\000\ \015\000\015\000\000\000\000\000\000\000\015\000\015\000\000\000\ \015\000\015\000\015\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\015\000\015\000\015\000\ \015\000\015\000\015\000\015\000\000\000\000\000\000\000\015\000\ \000\000\000\000\015\000\015\000\015\000\000\000\000\000\000\000\ \015\000\015\000\000\000\015\000\015\000\015\000\000\000\000\000\ \000\000\000\000\000\000\000\000\015\000\000\000\015\000\000\000\ \015\000\015\000\015\000\015\000\015\000\015\000\015\000\000\000\ \000\000\000\000\015\000\000\000\000\000\015\000\015\000\015\000\ \000\000\000\000\000\000\015\000\015\000\000\000\015\000\015\000\ \015\000\000\000\000\000\000\000\000\000\000\000\000\000\015\000\ \000\000\015\000\000\000\015\000\015\000\015\000\015\000\015\000\ \015\000\015\000\000\000\000\000\000\000\015\000\000\000\000\000\ \015\000\015\000\015\000\000\000\000\000\000\000\015\000\015\000\ \000\000\015\000\015\000\015\000\000\000\000\000\000\000\000\000\ \000\000\000\000\015\000\000\000\015\000\000\000\015\000\015\000\ \015\000\015\000\015\000\015\000\015\000\000\000\000\000\000\000\ \015\000\000\000\000\000\015\000\015\000\015\000\000\000\000\000\ \000\000\015\000\015\000\000\000\015\000\015\000\015\000\000\000\ \000\000\000\000\000\000\000\000\000\000\015\000\000\000\015\000\ \000\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\036\000\000\000\000\000\000\000\000\000\000\000\ \015\000\000\000\015\000\000\000\000\000\015\000\000\000\037\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \038\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\036\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\015\000\000\000\015\000\000\000\037\000\ \031\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \038\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\000\000\000\000\000\000\000\000\ \031\000\000\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\039\000\039\000\039\000\039\000\ \039\000\039\000\039\000\039\000\039\000\039\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\039\000\039\000\039\000\ \039\000\039\000\039\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\039\000\039\000\039\000\ \039\000\039\000\039\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \000\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \032\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\000\000\000\000\000\000\000\000\ \032\000\000\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \000\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \000\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\000\000"; Lexing.lex_check = "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\007\000\000\000\002\000\004\000\000\000\005\000\004\000\ \008\000\033\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \007\000\255\255\255\255\255\255\255\255\005\000\030\000\008\000\ \033\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\036\000\036\000\041\000\041\000\255\255\255\255\ \255\255\035\000\037\000\037\000\037\000\037\000\037\000\037\000\ \037\000\037\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\012\000\040\000\040\000\040\000\040\000\040\000\040\000\ \040\000\040\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\255\255\ \012\000\012\000\012\000\012\000\255\255\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\255\255\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\255\255\012\000\012\000\012\000\ \255\255\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\255\255\012\000\255\255\012\000\038\000\ \038\000\038\000\038\000\038\000\038\000\038\000\038\000\038\000\ \038\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \038\000\038\000\038\000\038\000\038\000\038\000\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \038\000\038\000\038\000\038\000\038\000\038\000\255\255\255\255\ \000\000\009\000\004\000\011\000\030\000\005\000\255\255\008\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\035\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\255\255\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\015\000\255\255\255\255\015\000\015\000\015\000\255\255\ \255\255\255\255\015\000\015\000\255\255\015\000\015\000\015\000\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\015\000\255\255\015\000\015\000\015\000\015\000\ \015\000\255\255\255\255\255\255\020\000\255\255\255\255\020\000\ \020\000\020\000\255\255\255\255\255\255\020\000\020\000\255\255\ \020\000\020\000\020\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\020\000\015\000\020\000\ \020\000\020\000\020\000\020\000\255\255\255\255\255\255\022\000\ \255\255\255\255\022\000\022\000\022\000\255\255\255\255\255\255\ \022\000\022\000\255\255\022\000\022\000\022\000\255\255\255\255\ \255\255\255\255\255\255\255\255\015\000\255\255\015\000\255\255\ \022\000\020\000\022\000\022\000\022\000\022\000\022\000\255\255\ \255\255\255\255\023\000\255\255\255\255\023\000\023\000\023\000\ \255\255\255\255\255\255\023\000\023\000\255\255\023\000\023\000\ \023\000\255\255\255\255\255\255\255\255\255\255\255\255\020\000\ \255\255\020\000\255\255\023\000\022\000\023\000\023\000\023\000\ \023\000\023\000\255\255\255\255\255\255\026\000\255\255\255\255\ \026\000\026\000\026\000\255\255\255\255\255\255\026\000\026\000\ \255\255\026\000\026\000\026\000\255\255\255\255\255\255\255\255\ \255\255\255\255\022\000\255\255\022\000\255\255\026\000\023\000\ \026\000\026\000\026\000\026\000\026\000\255\255\255\255\255\255\ \027\000\255\255\255\255\027\000\027\000\027\000\255\255\255\255\ \255\255\027\000\027\000\255\255\027\000\027\000\027\000\255\255\ \255\255\255\255\255\255\255\255\255\255\023\000\255\255\023\000\ \255\255\027\000\026\000\027\000\027\000\027\000\027\000\027\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\029\000\255\255\255\255\255\255\255\255\255\255\ \026\000\255\255\026\000\255\255\255\255\027\000\255\255\029\000\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \029\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\029\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\027\000\255\255\027\000\255\255\029\000\ \031\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \029\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\255\255\255\255\255\255\255\255\ \031\000\255\255\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\039\000\039\000\039\000\039\000\ \039\000\039\000\039\000\039\000\039\000\039\000\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\039\000\039\000\039\000\ \039\000\039\000\039\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\039\000\039\000\039\000\ \039\000\039\000\039\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \255\255\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \032\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\255\255\255\255\255\255\255\255\ \032\000\255\255\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \255\255\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \255\255\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\255\255"; Lexing.lex_base_code = "\000\000\000\000\000\000\004\000\001\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000"; Lexing.lex_backtrk_code = "\000\000\000\000\004\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000"; Lexing.lex_default_code = "\001\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000"; Lexing.lex_trans_code = "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000"; Lexing.lex_check_code = "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\000\000\004\000\255\255\000\000\004\000\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \000\000\004\000"; Lexing.lex_code = "\255\001\255\255\000\001\255"; } let rec line lexbuf = lexbuf.Lexing.lex_mem <- Array.make 2 (-1);(* L=1 [1] <- p ; *) lexbuf.Lexing.lex_mem.(1) <- lexbuf.Lexing.lex_curr_pos ; __ocaml_lex_line_rec lexbuf 0 and __ocaml_lex_line_rec lexbuf __ocaml_lex_state = match Lexing.new_engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> let # 27 "debugger_lexer.mll" s # 396 "debugger_lexer.ml" = Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_mem.(0) in # 28 "debugger_lexer.mll" ( s ) # 400 "debugger_lexer.ml" | 1 -> # 30 "debugger_lexer.mll" ( Lexing.lexeme lexbuf ) # 405 "debugger_lexer.ml" | 2 -> # 32 "debugger_lexer.mll" ( raise Exit ) # 410 "debugger_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_line_rec lexbuf __ocaml_lex_state and argument lexbuf = __ocaml_lex_argument_rec lexbuf 5 and __ocaml_lex_argument_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 37 "debugger_lexer.mll" ( ARGUMENT (Lexing.lexeme lexbuf) ) # 422 "debugger_lexer.ml" | 1 -> # 39 "debugger_lexer.mll" ( argument lexbuf ) # 427 "debugger_lexer.ml" | 2 -> # 41 "debugger_lexer.mll" ( EOL ) # 432 "debugger_lexer.ml" | 3 -> # 43 "debugger_lexer.mll" ( raise Parsing.Parse_error ) # 437 "debugger_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_argument_rec lexbuf __ocaml_lex_state and line_argument lexbuf = __ocaml_lex_line_argument_rec lexbuf 9 and __ocaml_lex_line_argument_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 48 "debugger_lexer.mll" ( ARGUMENT (Lexing.lexeme lexbuf) ) # 449 "debugger_lexer.ml" | 1 -> # 50 "debugger_lexer.mll" ( EOL ) # 454 "debugger_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_line_argument_rec lexbuf __ocaml_lex_state and lexeme lexbuf = __ocaml_lex_lexeme_rec lexbuf 12 and __ocaml_lex_lexeme_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 55 "debugger_lexer.mll" ( lexeme lexbuf ) # 466 "debugger_lexer.ml" | 1 -> # 59 "debugger_lexer.mll" ( LIDENT(Lexing.lexeme lexbuf) ) # 471 "debugger_lexer.ml" | 2 -> # 63 "debugger_lexer.mll" ( UIDENT(Lexing.lexeme lexbuf) ) # 476 "debugger_lexer.ml" | 3 -> # 65 "debugger_lexer.mll" ( let s = Lexing.lexeme lexbuf in LIDENT(String.sub s 1 (String.length s - 2)) ) # 482 "debugger_lexer.ml" | 4 -> # 71 "debugger_lexer.mll" ( try INTEGER (Int64.of_string (Lexing.lexeme lexbuf)) with Failure _ -> raise Int_overflow ) # 489 "debugger_lexer.ml" | 5 -> # 75 "debugger_lexer.mll" ( STAR ) # 494 "debugger_lexer.ml" | 6 -> # 77 "debugger_lexer.mll" ( MINUS ) # 499 "debugger_lexer.ml" | 7 -> # 79 "debugger_lexer.mll" ( DOT ) # 504 "debugger_lexer.ml" | 8 -> # 81 "debugger_lexer.mll" ( HASH ) # 509 "debugger_lexer.ml" | 9 -> # 83 "debugger_lexer.mll" ( AT ) # 514 "debugger_lexer.ml" | 10 -> # 85 "debugger_lexer.mll" ( DOLLAR ) # 519 "debugger_lexer.ml" | 11 -> # 87 "debugger_lexer.mll" ( COLON ) # 524 "debugger_lexer.ml" | 12 -> # 89 "debugger_lexer.mll" ( BANG ) # 529 "debugger_lexer.ml" | 13 -> # 91 "debugger_lexer.mll" ( LPAREN ) # 534 "debugger_lexer.ml" | 14 -> # 93 "debugger_lexer.mll" ( RPAREN ) # 539 "debugger_lexer.ml" | 15 -> # 95 "debugger_lexer.mll" ( LBRACKET ) # 544 "debugger_lexer.ml" | 16 -> # 97 "debugger_lexer.mll" ( RBRACKET ) # 549 "debugger_lexer.ml" | 17 -> # 100 "debugger_lexer.mll" ( OPERATOR (Lexing.lexeme lexbuf) ) # 554 "debugger_lexer.ml" | 18 -> # 102 "debugger_lexer.mll" ( EOL ) # 559 "debugger_lexer.ml" | 19 -> # 104 "debugger_lexer.mll" ( raise Parsing.Parse_error ) # 564 "debugger_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_lexeme_rec lexbuf __ocaml_lex_state ;;