#ifdef DECL_SOCKET
extern int socket (int, int, int);
#endif