soft/icfp01/tests.same
