python_string_len.py: