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

const proc: main is func
  local
    var time: modificationTime is time.value;
  begin
    modificationTime := getMTime("data.txt");
    setMTime("data.txt", modificationTime);
  end func;