PASS: No infinite loop.
