-/* A system call that writes n characters to a file identified by given file
- descriptor. Return the number of characters written.
+/* A system call that writes up to n characters to a file identified by given
+ file descriptor. Return the number of characters actually written, or -1
+ if an error occured. Note that the number of characters may well be lower
+ than n without an error having occured.