> there's no intrinsic need for it to be "messy" regardless of the target language

The generated code with “re”constructed control flow is going to be a mess and you can't really help it. Worst-case it'll be a `while(1) { switch(i) {` type of thing.