let length () = IH.length Param.states