PROC set = (REF FILE file,  INT page, line, character)VOID: ~