write() call format

This call has the following format:

#include <manifest.h> (non-reentrant programs only)
#include <cmanifes.h> (reentrant programs only)
#include <socket.h>
 
int write(int s, char *buf, int len)