Comment by eru

Compare 'Lambda: the ultimate GOTO' https://www2.cs.sfu.ca/CourseCentral/383/havens/pubs/lambda-... which also uses state machines as its motivating example.