modified:   src/exceptions.h