sbv-14.4: SBVTestSuite/GoldFiles/lambda77.gold

; Automatically generated by SBV. Do not modify!
; Type: String
(_ char #x61)