+ printf ("%s // Put this array into a separate class so it is only initialized if debugging is actually used\n", prefix);
+ printf ("%s // Use MarshalByRefObject to disable inlining\n", prefix);
+ printf("%s class YYRules %s {\n", prefix, csharp ? ": MarshalByRefObject" : "");
+ printf("%s public static %s string [] yyRule = {\n", prefix, csharp ? "readonly" : "final");