STRINGTABLE
BEGIN
  4200, "unknown warning type %1"
  4201, "invalid error limit"
  4202, "maximum number of errors (%1) reached; change with -E option"
END