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