char *xgethostname (void);