 The symbols for these labels are computed by GENSYM and are not interned in any package.Two "go" forms use these tags to jump to.Since "tagbody" is a primitive operator in Common Lisp (and not a macro), it will not be expanded into something else.