let length () = Inthash.length states