+Library
+-------
+
+Improve exception handling in the library. This should
+largely eliminate terminations inside the library due to uncaught
+exceptions or internal errors. No doubt there are a few uncovered
+code paths still; please report them as bugs.
+