How to use the Python debugger