Called when a function ends by an exception not allowed in the specifications.
void unexpected();
May be called directly by the program.