[issue1138] Raise exception in exit_with() to ensure that destructors are called upon program exit.

[issue1138] Raise exception in exit_with() to ensure that destructors are called upon program exit. #1470