#### E.13.10 File-I/O Examples

Example sequence of a write call, file descriptor 3, buffer is at target address 0x1234, 6 bytes should be written:

         <- Fwrite,3,1234,6
         request memory read from target
         -> m1234,6
         <- XXXXXX
         return "6 bytes written"
         -> F6

Example sequence of a read call, file descriptor 3, buffer is at target address 0x1234, 6 bytes should be read:

         <- Fread,3,1234,6
         request memory write to target
         -> X1234,6:XXXXXX
         return "6 bytes read"
         -> F6

Example sequence of a read call, call fails on the host due to invalid file descriptor (`EBADF`):

         <- Fread,3,1234,6
         -> F-1,9

Example sequence of a read call, user presses `Ctrl-c` before syscall on host is called:

         <- Fread,3,1234,6
         -> F-1,4,C
         <- T02

Example sequence of a read call, user presses `Ctrl-c` after syscall on host is called:

         <- Fread,3,1234,6
         -> X1234,6:XXXXXX
         <- T02