!7

p {
  ZipOutputStream zip = newZipOutputStream("out.jar");
  for (S s : args)
    zip2zip_exceptManifest(new File(s), zip);
  zip.close();
  print("Wrote out.jar");
}