The leaving action becomes an EOF action in the final state of foo. The
goto bar cannot process any data, so simply adding a label and jumping
there would be incorrect. Either an error should be reported, or the
machine should have it's cs set to bar. Which is desired?