TAGBODY - лексические метки и локальный переход GO

(tagbody метка | form)
(go метка)

Лексическая метка (tag) — символ или число, не оценивается. Метки сравниваются с помощью eql.

Пример
(let (val)
  (tagbody
    (setq val 1)
    (go b)
    (incf val 10)   ; никогда не оценивается
   a
    (incf val 3)
    (go c)
    (incf val 30)
   b
    (incf val 2)
    (go a)
    (incf val 20)
   c
    (incf val 4))
    val)
10