Caveats:

• Compiler does not enforce them
  • If a function indirectly throws an exception not in its specification, the program is halted
• Specifications are not tied to function signatures during inheritance
  • An override in a derived class can throw an exception not specified in the base class definition