char * const Class_codes[] = {
  "ak",
  "as",
  "an",
  "dn",
  "ir",
  "i6",
  "in",
  "kc",
  "li",
  "mt",
  "pn",
  "ro",
  "rt",
  "rs",
  "fs",
  "ps",
  "is",
  "it",
  NULL
}; /* Class_codes */
