loop can only have a single iteration and is hence not really a loop. FossilOrigin-Name: 13e3bd3de6b434b6182ef36be108d7ee0be8ca53
FossilOrigin-Name: 08849eab0f6ef29eaf6d2ce9c692de9b953dbd27