Write a destroy program
so that destroy f
counts the number of bytes in the file named f,
writes a 0 byte at every position in the file,
then writes a 255 byte at every position,
and finally writes a 0 byte at every position again.
(Military installations
are required to run this program
before removing a sensitive file,
to erase any traces of the electrons left on disk.)