The retry() operator