let mem = IH.mem Param.states