Use test/REQUIRE