If your expression evaluates as false and thereby triggers an assertion failure, a predefined routine called assertion_failed declared in the header file assert.hpp is executed.