sbv-10.0: SBVTestSuite/GoldFiles/lambda40.gold

; -- user given definition: lambda40
(define-fun lambda40 () Int
  0)