(compile nil '(lambda () (tagbody (catch 'c 17)))) ==>

COMPILE-TAGBODY: tag not found: 17
   [Condition of type SIMPLE-ERROR]