IO::print(IO::cerr, "The following problems were detected:\n");
for(const string &p: problems)
IO::print(IO::cerr, " %s\n", p);
IO::print(IO::cerr, "The following problems were detected:\n");
for(const string &p: problems)
IO::print(IO::cerr, " %s\n", p);