++outline;
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" : "");
++outline;
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" : "");