+ manifest.hpp
@ testerMain.cpp: test runner is in effect
@ teststrap.hpp: + SHOULD_BE(o, z)