lambda42.gold

; -- user given definition: lambda42
(define-fun lambda42 ((l1_s0 Int) (l1_s1 Int)) Int
  (+ l1_s0 l1_s1))