protected void set_socket_io_ports( Socket _socket, byte[] inbuf, byte[] outbuf ) { input= new input_socket_port( _socket, inbuf ); // CARE must be buffered !? output= new output_socket_port( _socket ); }