int fd AND PTR buf AND size_t n AND int flags AND
int fd AND const PTR buf AND size_t n AND int flags AND
DEFUN(sendto, (fd, buf, n, flags, addr, addr_len),      int fd AND PTR buf AND size_t n AND int flags AND      const struct sockaddr_un *addr AND size_t addr_len){  addr_port_t aport;  error_t err;  int wrote;  if (addr->sun_family == AF_LOCAL)    {      /* For the local domain, we must look up the name as a file and talk	 to it with the ifsock protocol.  */      file_t file = __file_name_lookup (addr->sun_path, 0, 0);      if (file == MACH_PORT_NULL)	return -1;      err = __ifsock_getsockaddr (file, &aport);      __mach_port_deallocate (__mach_task_self (), file);      if (err == MIG_BAD_ID || err == EOPNOTSUPP)	/* The file did not grok the ifsock protocol.  */	err = ENOTSOCK;      if (err)	return __hurd_fail (err);    }  else    err = EIEIO;  /* Get an address port for the desired destination address.  */  err = HURD_DPORT_USE (fd,			({			  if (err)			    err = __socket_create_address (port,							   addr->sun_family,							   (char *) addr,							   addr_len,							   &aport);			  if (! err)			    {			      /* Send the data.  */			      err = __socket_send (port, aport,						   flags, buf, n,						   NULL,						   MACH_MSG_TYPE_COPY_SEND, 0,						   NULL, 0, &wrote);			      __mach_port_deallocate (__mach_task_self (),						      aport);			    }			  err;			}));  return err ? __hurd_dfail (fd, err) : wrote;}