sS loadGZTextFile_relaxed(File file) ctex {
  if (!file.isFile()) ret null;
  ping();
  new ByteArrayOutputStream baos;
  temp InputStream fis = new FileInputStream(file);
  GZIPInputStream_relaxed gis = new(fis);
  byte[] buffer = new byte[1024];
  int len;
  while ((len = gis.read(buffer)) != -1) baos.write(buffer, 0, len);
  baos.close();
  return fromUtf8(baos.toByteArray()); // TODO: use a Reader
}