python_list_len.py: