let
length h = h.size