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

4 :: SWord8