sbv-7.0: SBVTestSuite/GoldFiles/basic-1_2.gold

5 :: Word8