python_type_int_2.py: