python_type_str.py: