svoid tok_compactModules(LS tok) {
  int i;
  if (jreplace_multi(tok, ll("cmodule", "compact module"), "module"))
    includeInMainLoaded_beginning(tok, "!include once #1020738\n");
}