micropython-lib/zipfile/zipfile.py