COMMENT ⊗   VALID 00002 PAGES 
RECORD PAGE   DESCRIPTION
 00001 00001
 00002 00002	BEGIN "MPTEST"
 00004 ENDMK
⊗;
BEGIN "MPTEST"
REQUIRE "ABBREV.SAI[S,RHT]" SOURCE_FILE;
REQUIRE "MACROS.SAI[S,RHT]" SOURCE_FILE;
REQUIRE "LEPAUX.HDR[S,RHT]" SOURCE_FILE;
REQUIRE "IOMOD.HDR[S,RHT]" SOURCE_FILE;
REQUIRE "SYS:PROCES.DEF" SOURCE_FILE;

REQUIRE 100 NEW_ITEMS;
REQUIRE 100 PNAMES;

ITEM MPV,A,B,C,D;
ITEMVAR X,Y,Z;
LIST LST;
LABEL L1,L2,L3;

MATCHING RECPROC MP(? ITEMVAR PV);
	BEGIN
	LIST LLL;LLL←{{A,B}};
	∀ ? PV | PV ε LLL DO SUCCEED;
	END;

L1:ASSIGN(MPV,MP);
LST←{{REF_ITEM(A)}};

L2:IF #(APPLY(∂(MPV),{{REF_ITEM(A)}})) THEN WRITE("SUC CALL OK");
IF ¬#(APPLY(∂(MPV),{{REF_ITEM(D)}})) THEN WRITE("FLR CALL OK");
Y←A;
IF #(APPLY(∂(MPV),{{REF_ITEM(Y)}})) THEN WRITE("SUC CALL OK FOR VARIABLE");

LST←{{REF_ITEM(BIND X)}};

WRITE("BIND X: ");

L3:SPROUT(D,APPLY(∂(MPV),LST),SUSPHIM);
WHILE #(RESUME(D)) DO WRITE(ITMNAM(X));
TERMINATE(D);

END;