exceptions and correctness of programs 7604364