python_set_pop.py: