stdio_socket
