A more complete API for exception handling.