Exception and termination manager
