data specification using ipaydetails imessage = IReq( . .pd : ipaydetails) with isIReq | IVal( . .pd : ipaydetails) with isIVal | IAck( . .pd : ipaydetails) with isIAck | none; variables imsg : imessage; end data specification