TAG comments on Equivalence of State Machines and Coroutines