State machines are really the ideal application of goto, where the semantics map directly - go to this state, making the flow of the code very clear. The performance benefits are nice too, so in that sense I think it&#x27;s beneficial for both the machine and the programmer.<p>It&#x27;d be funny to see the results of an implementation with &quot;proper OOP design using the State design pattern&quot;, I have a feeling that could be worse than the original switch&#x2F;loop.