A simple step-by-step debugger for the WHILE-language as described in the book "Computability and Complexity from a Programming Perspective" by Neil Jones