sbv-0.9: SBVUnitTest/GoldFiles/basic-1_5.gold

4 :: SWord8