Exercise $2\mathrm{.}15$

; To get you started, here is the definition of foo from the lecture notes.

$($definec foo $($x y :nat z :tl$)$ :int

$($cond $(($zp x$)(*$ y $2))$

$(($zp y$)(*$x $2))$

$(($