COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	BEGIN "BUG"
C00003 ENDMK
C⊗;
BEGIN "BUG"
DEFINE RCLASS = "RECORD_CLASS";
DEFINE RPTR = "RECORD_POINTER";
RCLASS RC(record_pointer(any_class) array I,J,K);
RPTR(RC) PROCEDURE GETRC;RETURN(NEW_RECORD(RC));
PROCEDURE FOO(RPTR(RC) R1);RETURN;
PROCEDURE BAR(RPTR(RC) R1,R2);RETURN;
integer procedure ip;return(0);
RPTR(RC) ARRAY RCA[1:10];
INTEGER I;
BEGIN "B1"
INTEGER X;X←1;
FOO(RCA[1]);
END;
FOR I←1 STEP 1 UNTIL 10 DO
	BEGIN "B2"
	RPTR(RC) RI;
	RCA[I]←RI←GETRC;
	memory[location(rc:i[ri])]←ip;
	END;
BEGIN "B3"
INTEGER Y;Y←1;
BAR(RCA[1],RCA[Y]);
END;
END;