prog

(prog (bindings...) {tag | form}...)

Binds the variables like let, then runs the body as a tagbody inside a block: go jumps between the body's tags and (return value) exits the prog with value. Falling off the end returns nil.