svoid text2zip(S text, ZipOutputStream outZip, S name) {
  zip_addTextFile(outZip, name, text);
}