Coming from Lisp background one would take this as pretty obvious approach. In fact I somewhat suspect that CL's tagbody is explicitly designed such that every

Coming from Lisp background one would take this as pretty obvious approach. In fact I somewhat suspect that CL's tagbody is explicitly designed such that every non-trivial control structure in the language could be expanded into that.