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