sS gunzipToText(S dataID) {
  ret gunzipToText(loadBinarySnippet(dataID));
}

sS gunzipToText(File f) ctex {
  new ByteArrayOutputStream baos;
  copyStreamAndCloseAll(newGZIPInputStream(f), baos);
  ret fromUtf8(baos.toByteArray());
}

sS gunzipToText(byte[] data) ctex {
  new ByteArrayOutputStream baos;
  copyStreamAndCloseAll(newGZIPInputStream(new ByteArrayInputStream(data)), baos);
  ret fromUtf8(baos.toByteArray());
}