sbv-14.7: SBVTestSuite/GoldFiles/basic-1_5.gold

4 :: Word8