let assoc_size = Hashtbl.length