COMMENT ⊗   VALID 00002 PAGES 
RECORD PAGE   DESCRIPTION
 00001 00001
 00002 00002	   BEGIN "REFBUG"
 00003 ENDMK
⊗;
   BEGIN "REFBUG"
	INTEGER PROCEDURE FOO(REFERENCE INTEGER A,B);
		RETURN(A+B);
	RECURSIVE PROCEDURE MUMBLE;
	BEGIN
		INTEGER A,B;
		A ← 2;
		B ← 3;
		A ← (A+B)+FOO(A+0,B);
	END;
   END;