Goto? For state machines???

Who even thought that this was a good idea?

obviously, the best way to emulate state machines is immutable data, dependent types, monads and automated proofs. it's just common sense