added dump_counter