micropython-lib/gzip/gzip.py