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

const proc: main is func
  begin
    removeFile("input.txt");
    removeFile("/input.txt");
    removeTree("docs");
    removeTree("/docs");
  end func;