let
maximum_successive_attempts e = e.maximum_successive_attempts