let kf_var_res = Hashtbl.create 7