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;