construct_counter