Beginnings of gzip-reading code