Loading annotation for pythontutor.com