public input_string_port( byte[] s, int start ) : base("[string]", (s.Length+1) - start) { int size = s.Length - start; for ( int i= 0 ; i < size ; ++i ) buffer[i] = s[i + start]; buffer[size] = 0; bufpos= bufsiz; eof= true; }