WIP: A not-yet-working example that uses MaxCounter.