Issue #9268: Add annotation option to pickletools.dis
3 files changed