The Assertion Library
Assertion package: run-time diagnostic information
A boolean expression that should never be false if the program is operating correctly.
If the value evaluate to false, a diagnostic error message is printed and the program is halted by calling the STL function abort.