// Result == 5
(letrec (int j 10)
   (letrec (int i 5) (- j i)))