#define BUFLEN_TCP 16
#define BUFLEN_UDP 16

void net_init();
int tcp_write(int sock, char s[]);