(main) = (λx (+ (+ 1 1) x) 8)