micropython-lib/pickletools/pickletools.py