#include <winsock2.h>
#include <string.h>
#include <errno.h>

void init_wsa(void);
int windows_read(int fd, char *buffer, int len);