hdiff
packages
feed
sbv
-14.4: SBVTestSuite/GoldFiles/higher-4.gold
Q.E.D.