if (problem) abort();
int i = 1; assert(i == 0); will give the message Assertion failed: i == 2, file t_assert.cc, line 8 abnormal program termination