sbv-7.0: SBVTestSuite/GoldFiles/basic-2_5.gold

4 :: Word8