let k_min_opt                 = ref 0