For example, the following routine tracks the number of attempts at executing the routine, and only retries a certain number of times: connect_to_server (server: SOCKET) -- Connect to a server or give up after 10 attempts. require server /= Void and then server.address /= Void local attempts: INTEGER do server.connect ensure connected: server.is_connected rescue if attempts < 10 then attempts := attempts + 1 retry end end This example is arguably flawed for anything but the simplest programs, however, because connection failure is to be expected.
На пример, следећа рутина прати број покушаја при извршењу рутине, и само се понавља одређени број пута: connect_to_server (server: SOCKET) -- Конектује се на сервер или се предаје после 10 покушаја. require server /= Void and then server.address /= Void local attempts: INTEGER do server.connect ensure connected: server.is_connected rescue if attempts < 10 then attempts := attempts + 1 retry end end Овај пример је вероватно погрешан за било шта осим једноставних програма, међутим, проблем са конекцијом се очекује.