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

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