exception_catcher/exception_catcher_result library