static int gzippedSize(S s) {
  ret l(gzipString(s));
}