let cache = Hashtbl.create 107