C++: SmartAssert