Provide a dead version of if_get_counter.