fprintf oc " \"%s\", \"%s\";\n" macro (String.escaped utf8);
fprintf oc_doc "\\%s %s\n" macro utf8;
fprintf oc_js "macro2utf8[\"%s\"] = \"%s\";\n"
fprintf oc " \"%s\", \"%s\";\n" macro (String.escaped utf8);
fprintf oc_doc "\\%s %s\n" macro utf8;
fprintf oc_js "macro2utf8[\"%s\"] = \"%s\";\n"