sbv-10.3: SBVTestSuite/GoldFiles/lambda76.gold

; Automatically generated by SBV. Do not modify!
; Type: Int
2