public CIO(TextReader reader, int peek_depth = 1024 / 4) { Buffer = new CIOBufferedReader(reader, peek_depth); }
public CIO(int peek_depth = 1024 / 4) { Buffer = new CIOBufferedReader(peek_depth); }