+ let out t s = if !O.verbose_lexer then prerr_endline (t ^ " " ^ s)
+
+ let check s =
+ let c = Char.code s.[0] in
+ if c <= 127 then s else
+ let escaped = Printf.sprintf "\\%3u\\" c in
+ begin
+ if !O.verbose_escape then Printf.eprintf "ESCAPED: %s %s\n" s escaped;
+ escaped
+ end