((3(22(22(1(0.0)24 23)22(2 *** 23)13 23)22(2 letrec 23)13 5)5))
