Consider the following program.

let x $=$ proc $($y$)-($y$,1)$

in let y $=$ proc$($x$)-($x$,2)$

in $($y $($x $($y $10)))$