public Scanner (Stream s) { buffer = new Buffer(s, true); Init(); }
public UTF8Buffer(Buffer b): base(b) {}