void assert(int assertion);which is very useful in software maintance and debugging.
assert( n >= 0 );has no affect if n is non-negative, but if n is negative (if the assertion fails) then assert prints out the line number, the source code file name, and the expression ("n >= 0") that failed before terminating the program.