add test/REQUIRE