@ teststrap.hpp: + ASSERTIONS