try_to_send (m:MESSAGE) is
  local
    attempts:INTEGER
  do
    network_send(m)
  rescue 
    attempts:=attempts+1
    if attempts<n then
      retry
    end
    print ("failing to send message")
  end -- try_to_send