prog* (prog* (bindings...) {tag | form}...) Like prog with sequential (let*-style) bindings: each init form sees the variables bound before it. Run(prog* ((x 5) (y (* x 2))) (return (+ x y))) ; => 15