Some time ago I lamented that I don't know how to write a retry loop such that: