sbv-10.3: SBVTestSuite/GoldFiles/lambda40.gold

; lambda40 :: SInteger
(define-fun lambda40 () Int
  0)