@ hpp/teststrap.hpp: + ASSERT_FAILURE + FAIL