static int WriteStdout(string, len)
char** string;
char* string;
int len;
{
return WriteFd(1, string, len);