fixed REQUIRE, added test/REQUIRE