int win32pipe_init(void);
void win32pipe_fini(void);
int win32pipe_pipe(int fds[2]);
int win32pipe_read(int fd, char *buf, int count);
int win32pipe_write(int fd, char *buf, int count);
int win32pipe_sleep(int ms); /* does not require calling win32pipe_init()/win32pipe_fini() */