Add information for infinite-loop.py