static int lGzipped(S s) {
  ret gzippedSize(s);
}