let k_opt                     = ref 1