python_howto_reverse_string_1.py: