class TEST inherit EXCEPTION_MANAGER_FACTORY create make feature -- Initialization make local is_retried: BOOLEAN do if not is_retried then read end rescue is_retried := True if not attached {OPERATING_SYSTEM_FAILURE} exception_manager.last_exception as ex or else ex.error_code <= 0 then print (exception_manager.last_exception) end retry end read local l_file: RAW_FILE do create l_file.make ("bad name") l_file.open_read end end -- class ROOT_CLASS