A file to be deleted later