Experiment with InfiniteLoop implementation.
Add experimental counter implementation.
Fix tests.