let mem = IH.mem states