void copy_to (in string dest, in long bytes,
out long read, out long written)
Where read and written are always the same as bytes
- until
something bad happens, which raises an exception. Isn't it better
to include read and written as part of the exception.
exception CopyError {
long read;
long written;
};
Another question concerns the dest parameter. Must this file
exist, is it automatically created, or is it an error if the
file already exists?