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