extern int write_socket(int fd, const char *buf, int n);
extern int read_socket(int fd, char *buf, int n);
extern void close_socket(int fd);
extern int write_socket(int fd, const char *buf, int n);
extern int read_socket(int fd, char *buf, int n);
extern void close_socket(int fd);