How to avoid goto statements and labels?

Actually implementing a state machine is the one situation in which I'd say using goto is OK, but
only if the state machine was being machine-translated into C code(!) Using a state variable and
switch statement is better structure for humans.