Use push_exception_handler.