Symbol: H_REQUIRE