00100	BEGIN "TEST"
00200	require "
00300	The following program compiles, but changing the
00400	 name of the id 'LIMT' will cause different errors,
00500	as shown in TSTM2B and TSTM2C" message;
00600	INTEGER VAL,NUM;
00700	REQUIRE "⊂⊃<>" DELIMITERS;
00800	DEFINE TSTMAC(TYPE,LIST,DIM)=⊂
00900		REDEFINE LIMT=DIM-1;
01000		FORLC N←LIST DOC ⊂
01100		EXTERNAL TYPE ARRAY N[0:1
01200		FORC I←1 STEPC 1 UNTILC LIMT DOC ⊂,0:1⊃ ENDC
01300		];
01400		⊃
01500		ENDC
01600	⊃ ;
01700	TSTMAC(INTEGER,<(X,Y,Z)>,3);
01800	TSTMAC(INTEGER,<(E,F,G,H)>,2);
01900	TSTMAC(INTEGER,<(A,B,C,D)>,1);
02000	VAL←A[2];
02100	VAL←B[NUM];
02200	VAL←E[1,NUM];
02300	VAL←X[1,1,1];
02400	END "TEST"