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