(letrec(i(quote 0))(i lambda(n)(cons n(i(add(quote 1)n)))))