(setq val 2)
(incf val 3)
lp (incf val 4)) NIL
The following is in error because there is a normal exit
of the tagbody before the
go is executed.
(let ((a nil))
(tagbody t (setq a #'(lambda () (go t))))
The following is in error because the tagbody is passed over
before the go form is executed.
(funcall (block nil
(tagbody a (return #'(lambda () (go a))))))