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