let k_max ()                 = !k_max_opt