stampfile = fopen(basename & ".stamp", "w")
fprint_time(stampfile, "%s\n")
fclose(stampfile)