int win32_pipe(int fds[2]);