dump_counts doesn't compile