Documentation for exceptions.h