Function EventDriverFiles.write
Writes data to a file
Note that only a single read operation is allowed at once. The caller
needs to make sure that either on_read_finish
got called, or
cancelRead
was called before issuing the next call to read
.