!7

p {
  S s = loadMainJava();
  s = "!636 (modern)\n" + s;
  //s += "\n!1001045";
  // etc
  saveMainJava(s);
}