DELETE file:string Deletes the filename specified by “file” (ERASE is a synonym) See also: Copy, Append, Exist, FileInf, Rename