Assertions in C++