Write numSectors sectors to a disc, starting at sector. numSectors is between 1 and LIMIT_SECTORS if LIMIT_SECTORS is defined, else it is at least 1 sector is 0 or greater buffer is a pointer to the memory to read from */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected