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