let
length () =
Inthash
.length states