Verify the size of a file called     input.txt     for a file in the current working directory, and another one in the file system root.




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