load("operatingsystem")$
delete_file("output.txt")$
delete_file("/output.txt")$
rmdir("docs")$
rmdir("/docs")$