let check_cpt k = if k > !var_counter then var_counter := k