python_set_discard.py: