{ (f x) (+(+(+(+(+(+(+(+(+(+x x) 0) 0) 0) 0) 0) 0) 0) (+0 (+(+x x) 0))) (+(+(+(+(+(+(+x x) 0) 0) x) (+0 (+(+x x) 0))) 0) x))}
{ (run x) (if (= x 0) 42 (with (y (f 3)) (run (- x 1)))) }
( run 10)