let
kf_var_res =
Hashtbl
.create 7