tiny example to explore reset_counters problem