output_string oc "let macro2utf8 = Hashtbl.create 2000\n";
output_string oc "let utf82macro = Hashtbl.create 2000\n";
output_string oc "let data = [\n";
output_string oc "let macro2utf8 = Hashtbl.create 2000\n";
output_string oc "let utf82macro = Hashtbl.create 2000\n";
output_string oc "let data = [\n";