(unsigned long long) size);
/* Create destination file. */
if (!filesys_create (filename, size))
PANIC ("%s: create failed", filename);
(unsigned long long) size);
/* Create destination file. */
if (!filesys_create (filename, size))
PANIC ("%s: create failed", filename);