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

const proc: main is func
  local
    var file: aFile is STD_NULL;
  begin
    aFile := open("output.txt", "w");
    close(aFile);
    mkdir("docs");
    aFile := open("/output.txt", "w");
    close(aFile);
    mkdir("/docs");
  end func;