PACKET zusatzarchivepacketDEFINES yes,out,show,ordertask:LET yescode=10, outcode=11,showcode=12;TASK VAR ordert:=niltask;BOUND BOOL VAR boolds;BOUND TEXT VAR textds;#BOUND FILE VAR fileds;#DATASPACE VAR ds;INT VAR replycode; PROC ordertask(TASK CONST ot):ordert:=otENDPROC ordertask;TASK PROC ordertask :ordertENDPROC ordertask;BOOL PROC yes(TEXT CONST quest):BOOL VAR b;initds; textds:=ds;textds:=quest;call(ordertask,yescode,ds,replycode);IF replycode= yescodeTHEN ordentlichesendungELSE FALSE FI .ordentlichesendung:boolds:=ds;b :=CONCR (boolds);forget(ds);b.ENDPROC yes;PROC out(TEXT CONST txt):initds; textds:=ds;textds:=txt;send(ordertask,outcode,ds,replycode)ENDPROC out;PROC show(TEXT CONST t):forget(ds);ds:=old(t);send(ordertask,showcode,ds,replycode )ENDPROC show;PROC initds:forget(ds);ds:=nilspaceENDPROC initds;ENDPACKET zusatzarchivepacket;