let length () = IH.length states