changed CHECK and REQUIRE output functions