RosettaCodeData/Task/File-input-output/Seed7/file-input-output.seed7

$ include "seed7_05.s7i";
  include "osfiles.s7i";

const proc: main is func
  begin
    copyFile("input.txt", "output.txt");
  end func;