public static string yyname (int token) { if ((token < 0) || (token > yyNames.Length)) return "[illegal]"; string name; if ((name = yyNames[token]) != null) return name; return "[unknown]"; }