python_set_length.py: