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.




$ include "seed7_05.s7i";
 
const proc: main is func
  begin
    writeln(fileSize("input.txt"));
    writeln(fileSize("/input.txt"));
  end func;