gzip.cc #2