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