Ooops, wrong version of test.e.  Use test_rev2.e instead, which has the
needed redefine clause.