Inline infinite loop - note the correct (but bugless) version