let var_init = Hashtbl.create 257