RosettaCodeData/Task/File-size/Seed7/file-size.seed7

$ include "seed7_05.s7i";

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