PASS: No infinite loop.