Write len bytes from buf to file. Return the number of bytes written. If the returned value is less than len, then there was an error. */
(state, buf, len)
source not stored for this graph (policy: none)
no test coverage detected