prog2

prog2 is a special form in `C source code'.

(prog2 FORM1 FORM2 BODY...)

Eval FORM1, FORM2 and BODY sequentially; return value from FORM2.
The value of FORM2 is saved during the evaluation of the
remaining args, whose values are discarded.