let length () = Inthash.length Param.states