SCCCaptured is trivially false on entry to this loop and not modified inside it.