# 15 "bytecomp/byterntm.mll" type search_method = | Absolute of string | Absolute_then_search of string | Search type state = Exec | R | C of string let cut_runtime_id search name = let len = String.length name in let id = if len < 6 || name.[len - 5] <> '-' then None else Misc.RuntimeID.of_string (String.sub name (len - 4) 4) in let name = if id = None then name else String.sub name 0 (len - 5) in Some (name, id, search) # 27 "bytecomp/byterntm.ml" let __ocaml_lex_tables = { Lexing.lex_base = "\000\000\252\255\001\000\002\000\003\000\004\000\005\000\006\000\ \007\000\008\000\009\000\010\000\011\000\012\000\013\000\014\000\ \075\000\076\000\077\000\078\000\255\255\023\000\079\000\080\000\ \027\000\025\000\069\000\026\000\082\000\066\000\131\000\134\000\ \067\000\137\000\254\255\132\000\133\000\110\000\143\000\130\000\ \181\000\154\000\034\000\001\000\001\000\035\000\039\000\000\000\ \000\000\253\255\006\000\147\000\156\000\185\000\199\000\183\000\ \202\000\024\000\250\255\032\000\186\000\000\000\040\000\000\000\ \025\000\026\000\255\255\002\000\020\000\047\000\001\000\049\000\ \048\000\027\000\110\000\005\000\253\255\084\000\110\000\252\255\ \036\000\117\000\006\000\251\255"; Lexing.lex_backtrk = "\255\255\255\255\003\000\003\000\003\000\003\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\000\000\255\255\255\255\ \000\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \002\000\255\255\255\255\255\255\000\000\255\255\255\255\255\255\ \255\255\255\255\000\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\000\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\001\000\005\000\255\255\003\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"; Lexing.lex_default = "\003\000\000\000\035\000\007\000\014\000\007\000\035\000\007\000\ \014\000\011\000\056\000\011\000\053\000\016\000\014\000\038\000\ \016\000\052\000\016\000\016\000\000\000\014\000\038\000\016\000\ \014\000\035\000\014\000\014\000\014\000\014\000\014\000\014\000\ \014\000\014\000\000\000\035\000\035\000\037\000\038\000\037\000\ \037\000\037\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\000\000\255\255\014\000\052\000\053\000\056\000\055\000\ \056\000\059\000\000\000\059\000\255\255\255\255\255\255\255\255\ \255\255\255\255\000\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\000\000\255\255\255\255\000\000\ \255\255\255\255\255\255\000\000"; Lexing.lex_trans = "\002\000\255\255\006\000\006\000\006\000\255\255\006\000\006\000\ \010\000\055\000\010\000\010\000\015\000\025\000\037\000\076\000\ \083\000\000\000\007\000\035\000\007\000\014\000\014\000\025\000\ \036\000\255\255\025\000\025\000\000\000\000\000\000\000\000\000\ \048\000\071\000\067\000\005\000\080\000\009\000\068\000\049\000\ \007\000\035\000\007\000\014\000\014\000\049\000\035\000\004\000\ \255\255\008\000\008\000\008\000\255\255\008\000\008\000\013\000\ \039\000\018\000\018\000\018\000\008\000\039\000\050\000\060\000\ \065\000\066\000\025\000\025\000\069\000\025\000\008\000\255\255\ \255\255\008\000\008\000\022\000\015\000\015\000\022\000\037\000\ \022\000\070\000\025\000\072\000\073\000\021\000\051\000\014\000\ \021\000\036\000\024\000\074\000\004\000\255\255\008\000\008\000\ \008\000\255\255\008\000\008\000\012\000\055\000\012\000\012\000\ \017\000\008\000\037\000\014\000\014\000\014\000\014\000\035\000\ \014\000\008\000\008\000\008\000\008\000\255\255\008\000\008\000\ \020\000\045\000\018\000\018\000\018\000\018\000\039\000\018\000\ \027\000\008\000\033\000\025\000\255\255\255\255\025\000\044\000\ \046\000\025\000\047\000\077\000\255\255\026\000\255\255\037\000\ \075\000\078\000\028\000\025\000\043\000\079\000\081\000\082\000\ \000\000\036\000\000\000\000\000\022\000\039\000\008\000\008\000\ \000\000\008\000\255\255\031\000\042\000\030\000\051\000\017\000\ \017\000\017\000\017\000\037\000\017\000\032\000\008\000\035\000\ \032\000\039\000\008\000\255\255\255\255\008\000\023\000\029\000\ \008\000\054\000\255\255\000\000\014\000\000\000\039\000\020\000\ \019\000\255\255\008\000\014\000\062\000\000\000\000\000\055\000\ \000\000\039\000\055\000\018\000\000\000\000\000\000\000\000\000\ \000\000\035\000\000\000\000\000\035\000\255\255\000\000\255\255\ \000\000\014\000\063\000\000\000\061\000\000\000\000\000\008\000\ \255\255\255\255\008\000\000\000\039\000\008\000\039\000\035\000\ \018\000\000\000\035\000\037\000\000\000\000\000\000\000\008\000\ \000\000\000\000\000\000\000\000\000\000\040\000\039\000\000\000\ \017\000\039\000\000\000\000\000\000\000\000\000\000\000\000\000\ \001\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\020\000\255\255\000\000\ \000\000\000\000\000\000\000\000\000\000\012\000\064\000\020\000\ \058\000\034\000\020\000\020\000\000\000\041\000\000\000\000\000\ \255\255\000\000\000\000\055\000\000\000\000\000\055\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\020\000\020\000\000\000\020\000\000\000\000\000\ \000\000\000\000\000\000\020\000\255\255\255\255\020\000\034\000\ \020\000\000\000\020\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\255\255\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\255\255\020\000\020\000\020\000\020\000\000\000\ \000\000\020\000\000\000\000\000\000\000\000\000\000\000\020\000\ \000\000\000\000\000\000\020\000\000\000\000\000\000\000\000\000\ \000\000\000\000\255\255\000\000\020\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\255\255\000\000\255\255\ \000\000\020\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\034\000\ \000\000\000\000\020\000"; Lexing.lex_check = "\000\000\002\000\003\000\004\000\005\000\006\000\007\000\008\000\ \009\000\010\000\011\000\012\000\013\000\014\000\015\000\075\000\ \082\000\255\255\009\000\010\000\011\000\012\000\013\000\021\000\ \015\000\025\000\027\000\024\000\255\255\255\255\255\255\255\255\ \047\000\070\000\063\000\000\000\061\000\005\000\067\000\048\000\ \009\000\010\000\011\000\012\000\013\000\050\000\015\000\000\000\ \002\000\003\000\004\000\005\000\006\000\007\000\008\000\009\000\ \010\000\011\000\012\000\013\000\014\000\015\000\043\000\057\000\ \064\000\065\000\029\000\032\000\068\000\026\000\021\000\059\000\ \025\000\027\000\024\000\016\000\017\000\018\000\019\000\022\000\ \023\000\069\000\028\000\071\000\072\000\016\000\017\000\018\000\ \019\000\022\000\023\000\073\000\000\000\002\000\003\000\004\000\ \005\000\006\000\007\000\008\000\009\000\010\000\011\000\012\000\ \013\000\014\000\015\000\016\000\017\000\018\000\019\000\022\000\ \023\000\029\000\032\000\021\000\026\000\025\000\027\000\024\000\ \037\000\044\000\016\000\017\000\018\000\019\000\022\000\023\000\ \024\000\028\000\026\000\030\000\035\000\036\000\031\000\042\000\ \045\000\033\000\046\000\062\000\039\000\024\000\037\000\038\000\ \074\000\077\000\027\000\051\000\042\000\078\000\080\000\081\000\ \255\255\038\000\255\255\255\255\052\000\037\000\029\000\032\000\ \255\255\026\000\039\000\030\000\041\000\029\000\052\000\016\000\ \017\000\018\000\019\000\022\000\023\000\031\000\028\000\038\000\ \033\000\039\000\030\000\035\000\036\000\031\000\019\000\028\000\ \033\000\053\000\041\000\255\255\052\000\255\255\038\000\040\000\ \018\000\055\000\051\000\053\000\060\000\255\255\255\255\054\000\ \255\255\041\000\056\000\052\000\255\255\255\255\255\255\255\255\ \255\255\054\000\255\255\255\255\056\000\040\000\255\255\055\000\ \255\255\053\000\060\000\255\255\060\000\255\255\255\255\030\000\ \035\000\036\000\031\000\255\255\040\000\033\000\055\000\054\000\ \053\000\255\255\056\000\038\000\255\255\255\255\255\255\051\000\ \255\255\255\255\255\255\255\255\255\255\039\000\054\000\255\255\ \052\000\056\000\255\255\255\255\255\255\255\255\255\255\255\255\ \000\000\002\000\003\000\004\000\005\000\006\000\007\000\008\000\ \009\000\010\000\011\000\012\000\013\000\014\000\015\000\255\255\ \255\255\255\255\255\255\255\255\255\255\053\000\060\000\021\000\ \057\000\025\000\027\000\024\000\255\255\040\000\255\255\255\255\ \059\000\255\255\255\255\054\000\255\255\255\255\056\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\029\000\032\000\255\255\026\000\255\255\255\255\ \255\255\255\255\255\255\016\000\017\000\018\000\019\000\022\000\ \023\000\255\255\028\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\037\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\039\000\030\000\035\000\036\000\031\000\255\255\ \255\255\033\000\255\255\255\255\255\255\255\255\255\255\038\000\ \255\255\255\255\255\255\051\000\255\255\255\255\255\255\255\255\ \255\255\255\255\041\000\255\255\052\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\040\000\255\255\055\000\ \255\255\053\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\054\000\ \255\255\255\255\056\000"; Lexing.lex_base_code = "\000\000\000\000\001\000\002\000\003\000\004\000\005\000\006\000\ \007\000\008\000\009\000\010\000\011\000\012\000\013\000\014\000\ \015\000\032\000\016\000\018\000\171\001\020\000\034\000\023\000\ \022\000\026\000\027\000\029\000\036\000\035\000\040\000\038\000\ \078\000\109\000\006\002\086\000\091\000\103\000\129\000\110\000\ \130\000\133\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\252\001\000\000\111\000\141\000\116\000\159\000\134\000\ \185\000\000\000\000\000\000\000\007\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\002\ \000\000\000\000\000\000\000\000"; Lexing.lex_backtrk_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\182\001\000\000\000\000\ \182\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \252\001\000\000\000\000\000\000\182\001\000\000\000\000\000\000\ \000\000\000\000\067\002\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\078\002\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\151\002\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \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 = "\004\000\000\000\018\000\004\000\037\000\004\000\018\000\004\000\ \037\000\004\000\071\000\004\000\124\000\124\000\037\000\174\000\ \037\000\024\001\100\001\100\001\000\000\100\001\024\001\100\001\ \100\001\018\000\100\001\100\001\100\001\100\001\100\001\100\001\ \100\001\100\001\000\000\018\000\199\001\255\001\032\002\046\002\ \046\002\046\002\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\038\001\032\002\037\000\134\001\004\000\ \255\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"; Lexing.lex_trans_code = "\001\000\000\000\001\000\030\000\001\000\000\000\001\000\030\000\ \064\000\004\000\093\000\113\000\140\000\030\000\071\000\224\000\ \079\001\148\002\140\000\018\000\001\000\037\000\001\000\211\001\ \193\000\245\000\000\000\001\000\141\001\001\000\000\000\000\000\ \011\001\220\001\134\001\001\000\001\000\057\000\001\000\154\002\ \001\000\018\000\031\001\037\000\196\001\000\000\208\000\009\000\ \000\000\021\000\044\000\009\000\000\000\021\000\044\000\009\000\ \082\000\100\000\131\000\149\000\044\000\217\000\131\000\100\000\ \038\001\100\000\199\001\021\000\000\000\021\000\100\000\000\000\ \134\001\000\000\021\000\000\000\021\000\134\001\001\000\051\001\ \000\000\204\001\021\000\021\000\000\000\021\000\000\000\021\000\ \134\001\000\000\000\000\000\000\009\000\000\000\021\000\044\000\ \009\000\000\000\021\000\044\000\009\000\004\000\021\000\044\000\ \158\000\044\000\071\000\000\001\111\001\001\000\148\001\089\002\ \021\000\018\002\021\000\229\001\204\001\000\000\000\000\021\000\ \000\000\021\000\134\001\134\001\064\001\021\000\134\001\021\000\ \021\000\255\001\021\000\134\001\021\000\000\000\134\001\000\000\ \134\001\134\001\000\000\196\001\057\002\114\002\000\000\064\002\ \000\000\000\000\000\000\000\000\255\001\134\001\021\002\131\002\ \000\000\000\000\000\000\000\000\021\000\021\002\096\002\004\000\ \000\000\199\001\000\000\131\000\000\000\000\000\000\000\000\000\ \000\000\141\002\021\000\000\000\000\000\038\001\000\000\000\000\ \217\000\021\002\000\000\000\000\021\002\021\002\000\000\000\000\ \000\000\004\000\000\000\000\000\051\001\000\000\000\000\141\002\ \000\000\000\000\000\000\141\002\000\000\000\000\000\000\000\000\ \000\000\021\000\000\000\096\002\000\000\000\000\021\002\000\000\ \044\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\141\002\000\000\000\000\000\000\255\001\000\000\000\000\ \000\000\134\001\000\000\000\000\000\000\000\000\000\000\000\000\ \021\002\064\001\134\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\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\169\000\000\000\169\000\ \000\000\000\000\000\000\000\000\193\001\004\000\193\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\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\169\000\000\000\ \000\000\000\000\000\000\009\002\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\109\002\ \000\000\000\000\000\000\000\000\169\000\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\002\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\138\002\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\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 = "\000\000\002\000\003\000\004\000\005\000\006\000\007\000\008\000\ \009\000\010\000\011\000\012\000\013\000\014\000\015\000\016\000\ \018\000\060\000\019\000\010\000\021\000\012\000\024\000\023\000\ \015\000\016\000\025\000\026\000\019\000\027\000\255\255\255\255\ \017\000\023\000\022\000\029\000\028\000\005\000\031\000\078\000\ \030\000\010\000\017\000\012\000\022\000\255\255\015\000\000\000\ \002\000\003\000\004\000\005\000\006\000\007\000\008\000\009\000\ \010\000\011\000\012\000\013\000\014\000\015\000\016\000\018\000\ \017\000\019\000\022\000\021\000\255\255\024\000\023\000\255\255\ \030\000\025\000\026\000\255\255\027\000\031\000\032\000\017\000\ \255\255\022\000\029\000\028\000\255\255\031\000\035\000\030\000\ \026\000\255\255\255\255\036\000\000\000\002\000\003\000\004\000\ \005\000\006\000\007\000\008\000\009\000\010\000\011\000\012\000\ \013\000\014\000\015\000\016\000\018\000\033\000\019\000\051\000\ \021\000\037\000\024\000\023\000\053\000\255\255\025\000\026\000\ \039\000\027\000\019\000\024\000\017\000\032\000\022\000\029\000\ \028\000\038\000\031\000\018\000\030\000\035\000\029\000\037\000\ \024\000\028\000\036\000\038\000\040\000\052\000\039\000\041\000\ \055\000\255\255\255\255\255\255\033\000\027\000\037\000\052\000\ \255\255\255\255\255\255\255\255\033\000\039\000\051\000\054\000\ \255\255\038\000\040\000\053\000\255\255\041\000\055\000\255\255\ \255\255\054\000\032\000\255\255\255\255\052\000\255\255\255\255\ \038\000\040\000\035\000\255\255\041\000\055\000\255\255\036\000\ \255\255\056\000\255\255\255\255\052\000\255\255\255\255\054\000\ \255\255\255\255\255\255\056\000\255\255\255\255\255\255\255\255\ \255\255\033\000\255\255\051\000\255\255\255\255\054\000\255\255\ \053\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\056\000\255\255\255\255\255\255\038\000\255\255\255\255\ \255\255\039\000\255\255\255\255\255\255\255\255\255\255\255\255\ \056\000\052\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\255\255\255\255\054\000\255\255\255\255\255\255\255\255\ \000\000\002\000\003\000\004\000\005\000\006\000\007\000\008\000\ \009\000\010\000\011\000\012\000\013\000\014\000\015\000\016\000\ \018\000\255\255\019\000\255\255\021\000\056\000\024\000\023\000\ \255\255\255\255\025\000\026\000\255\255\027\000\255\255\255\255\ \017\000\255\255\022\000\029\000\028\000\255\255\031\000\255\255\ \030\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\032\000\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\035\000\255\255\ \255\255\255\255\255\255\036\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\037\000\ \255\255\255\255\255\255\255\255\255\255\033\000\039\000\051\000\ \255\255\255\255\255\255\255\255\053\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\038\000\040\000\255\255\255\255\041\000\055\000\255\255\ \255\255\255\255\255\255\255\255\255\255\052\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\054\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\056\000"; Lexing.lex_code = "\255\008\255\255\007\255\006\255\255\011\255\010\255\009\255\008\ \255\255\013\255\255\010\255\008\255\011\255\009\255\255\007\010\ \008\255\006\009\255\010\255\013\255\009\255\255\007\010\006\009\ \010\255\008\255\011\255\009\255\255\012\255\007\255\006\255\255\ \010\255\009\255\008\255\255\010\007\009\006\007\255\013\255\006\ \255\255\015\010\007\255\008\255\014\009\006\255\255\010\255\008\ \255\009\255\255\010\007\009\006\007\255\008\255\011\255\006\255\ \255\007\010\006\009\010\255\008\255\009\255\255\013\255\010\255\ \009\255\255\007\255\008\255\011\255\006\255\255\016\255\015\255\ \014\255\013\255\255\011\255\008\255\007\255\006\255\255\016\255\ \015\255\014\255\013\255\011\255\255\010\007\009\006\255\019\007\ \019\006\006\009\009\019\007\010\010\019\015\255\013\255\014\255\ \255\019\010\019\009\009\006\006\019\010\007\007\019\017\255\255\ \007\010\008\016\013\255\006\009\255\007\255\008\255\006\255\255\ \019\007\019\006\006\009\009\019\007\010\010\019\015\255\016\255\ \013\255\014\255\255\010\007\009\006\007\255\017\255\006\255\255\ \015\255\016\255\013\255\011\255\014\255\255\010\015\009\014\015\ \255\016\255\013\255\014\255\255\015\255\014\255\013\255\255\017\ \255\015\255\014\255\255\007\010\006\009\010\255\008\016\013\255\ \009\255\255\010\015\007\255\008\255\011\255\009\014\006\255\255\ \010\015\009\014\015\255\016\255\013\255\011\255\014\255\255\017\ \010\017\009\009\006\006\017\010\007\007\017\015\255\016\255\013\ \255\014\255\255\007\010\006\009\010\255\013\255\009\255\255\017\ \010\017\009\009\006\006\017\010\007\007\017\015\255\016\255\013\ \255\011\255\014\255\255\013\255\007\255\006\255\255\017\255\007\ \255\006\255\255\018\010\018\009\009\006\006\018\010\007\007\018\ \015\255\016\255\013\255\011\255\014\255\255\004\010\003\008\002\ \013\001\005\000\009\255\004\010\003\008\002\013\001\012\000\009\ \255\013\017\255\017\255\255\008\016\013\255\255\008\255\007\255\ \006\255\255\015\255\016\255\013\255\014\255\255\018\255\017\255\ \007\255\006\255\255\019\010\019\009\009\006\006\019\010\007\007\ \019\015\255\016\255\013\255\011\255\014\255\255\000\018\255\007\ \255\013\255\006\255\255\000\011\255\010\007\008\016\013\017\009\ \006\255\005\012\255\015\007\014\006\007\255\008\255\006\255\255\ \015\255\013\255\014\255\255\010\007\008\016\009\006\255\010\015\ \007\255\013\255\009\014\006\255\255\010\015\005\012\009\014\255\ \018\255\255\004\015\003\008\002\013\001\012\000\014\255\004\007\ \003\008\002\013\001\012\000\006\255\007\015\008\255\006\014\255\ \007\015\010\255\008\255\011\255\006\014\009\255\255\008\016\013\ \017\255\010\007\009\006\007\015\006\014\015\255\016\255\013\255\ \014\255\255\015\255\017\255\014\255\255\008\016\255\007\010\013\ \255\006\009\255\002\255\255\001\255\255\003\255\255\001\002\000\ \003\255"; } let rec analyze lexbuf = lexbuf.Lexing.lex_mem <- Array.make 20 (-1);(* L=3 [7] <- p ; [6] <- p ; [5] <- p ; *) lexbuf.Lexing.lex_mem.(7) <- lexbuf.Lexing.lex_curr_pos ; lexbuf.Lexing.lex_mem.(6) <- lexbuf.Lexing.lex_curr_pos ; lexbuf.Lexing.lex_mem.(5) <- lexbuf.Lexing.lex_curr_pos ; __ocaml_lex_analyze_rec lexbuf 0 and __ocaml_lex_analyze_rec lexbuf __ocaml_lex_state = match Lexing.new_engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> let # 43 "bytecomp/byterntm.mll" dir # 391 "bytecomp/byterntm.ml" = Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_mem.(1) lexbuf.Lexing.lex_mem.(0) and # 43 "bytecomp/byterntm.mll" sep # 396 "bytecomp/byterntm.ml" = Lexing.sub_lexeme_char lexbuf lexbuf.Lexing.lex_mem.(4) and # 43 "bytecomp/byterntm.mll" runtime # 401 "bytecomp/byterntm.ml" = Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_mem.(3) lexbuf.Lexing.lex_mem.(2) in # 46 "bytecomp/byterntm.mll" ( if sep = '\000' then if dir = "" then cut_runtime_id Search runtime else let dir = Filename.concat dir "" in cut_runtime_id (Absolute_then_search dir) runtime else let dir = dir ^ String.make 1 sep in cut_runtime_id (Absolute dir) runtime ) # 413 "bytecomp/byterntm.ml" | 1 -> let # 57 "bytecomp/byterntm.mll" dir # 419 "bytecomp/byterntm.ml" = Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_mem.(0) and # 58 "bytecomp/byterntm.mll" runtime # 424 "bytecomp/byterntm.ml" = Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_mem.(0) (lexbuf.Lexing.lex_curr_pos + -1) in # 59 "bytecomp/byterntm.mll" ( if dir = "" then Some (runtime, None, Search) else Some (runtime, None, Absolute dir) ) # 431 "bytecomp/byterntm.ml" | 2 -> let # 66 "bytecomp/byterntm.mll" next # 437 "bytecomp/byterntm.ml" = Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_mem.(0) lexbuf.Lexing.lex_curr_pos in # 67 "bytecomp/byterntm.mll" ( let state = if next.[0] = 'r' then R else Exec in analyze_sh_launcher state (Buffer.create 1024) lexbuf ) # 442 "bytecomp/byterntm.ml" | 3 -> # 71 "bytecomp/byterntm.mll" ( None ) # 447 "bytecomp/byterntm.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_analyze_rec lexbuf __ocaml_lex_state and analyze_sh_launcher state b lexbuf = lexbuf.Lexing.lex_mem <- Array.make 4 (-1); __ocaml_lex_analyze_sh_launcher_rec state b lexbuf 57 and __ocaml_lex_analyze_sh_launcher_rec state b lexbuf __ocaml_lex_state = match Lexing.new_engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 76 "bytecomp/byterntm.mll" ( analyze_sh_launcher state (Buffer.add_char b '\''; b) lexbuf ) # 459 "bytecomp/byterntm.ml" | 1 -> let # 78 "bytecomp/byterntm.mll" s # 465 "bytecomp/byterntm.ml" = Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in # 79 "bytecomp/byterntm.mll" ( analyze_sh_launcher state (Buffer.add_string b s; b) lexbuf ) # 469 "bytecomp/byterntm.ml" | 2 -> # 83 "bytecomp/byterntm.mll" ( if state = Exec then let name = Buffer.contents b in let runtime = Filename.basename name in let dir = String.sub name 0 (String.length name - String.length runtime) in cut_runtime_id (Absolute dir) runtime else None ) # 482 "bytecomp/byterntm.ml" | 3 -> let # 94 "bytecomp/byterntm.mll" c # 488 "bytecomp/byterntm.ml" = Lexing.sub_lexeme_opt lexbuf lexbuf.Lexing.lex_mem.(1) lexbuf.Lexing.lex_mem.(0) in # 95 "bytecomp/byterntm.mll" ( if state = R then let runtime = Buffer.contents b in if c = None then cut_runtime_id Search runtime else analyze_sh_launcher (C runtime) (Buffer.clear b; b) lexbuf else None ) # 499 "bytecomp/byterntm.ml" | 4 -> # 106 "bytecomp/byterntm.mll" ( match state with | C runtime -> cut_runtime_id (Absolute_then_search (Buffer.contents b)) runtime | _ -> None ) # 508 "bytecomp/byterntm.ml" | 5 -> # 113 "bytecomp/byterntm.mll" ( None ) # 513 "bytecomp/byterntm.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_analyze_sh_launcher_rec state b lexbuf __ocaml_lex_state ;; # 115 "bytecomp/byterntm.mll" let read_runtime t ic = seek_in ic 0; let lexbuf = try if really_input_string ic 2 = "#!" then let () = seek_in ic 0 in Some (Lexing.from_channel ic) else let rntm = Bytesections.(read_section_string t ic Name.RNTM) in Some (Lexing.from_string rntm) with End_of_file | Not_found -> None in Option.bind lexbuf analyze # 536 "bytecomp/byterntm.ml"