finalize ExceptionDispatchInfo design