from Hashtbl.ml
let length h = h.size