/* Copies from the "scratch" disk, hdc or hd1:0,
to a file named FILENAME in the filesystem.
The file will be SIZE bytes in length. */
/* Copies from the "scratch" disk, hdc or hd1:0,
to a file named FILENAME in the filesystem.
The file will be SIZE bytes in length. */