__stdio_read (void *cookie, char *buf, size_t n;)
__stdio_read (void *cookie, char *buf, size_t n)
__stdio_read (void *cookie, char *buf, size_t n;){  const int fd = (int) cookie;#if	defined (EINTR) && defined (EINTR_REPEAT)  int save = errno;  int nread; try:;  __set_errno (0);  nread = __read (fd, buf, (int) n);  if (nread < 0)    {      if (errno == EINTR)	goto try;      return -1;    }  __set_errno (save);  return nread;#else	/* No EINTR.  */  return __read (fd, buf, n);#endif}