 The expression (GO X) is erroneous if it is not embedded in a TAGBODY which contains a label X.However, the label bindings disappear when the TAGBODY terminates its execution, because they have dynamic extent.If that block of code is re-entered by the invocation of a lexical closure, it is invalid for the body of that closure to try to transfer control to a tag via GO