sbv-4.4: SBVUnitTest/GoldFiles/basic-1_1.gold

5 :: Word8