The first form of let is the same as Intermediate’s let.
The second form is equivalent to a recur form.