java: public BufferedReader(Reader in, int size) {super(in);if (size <= 0) {throw new IllegalArgumentException("size <= 0");}this.in = in;buf = new char[size];}
C#: public BufferedReader(java.io.Reader @in, int size) : base(@in){if (size <= 0){throw new System.ArgumentException("size <= 0");}this.@in = @in;buf = new char[size];}