public PushbackReader(Reader in) {super(in);buf = new char[1];pos = 1;}

public PushbackReader ( Reader in ) { super ( in ) ; buf = new char [ 1 ] ; pos = 1 ; }
public PushbackReader(java.io.Reader @in) : base(@in){buf = new char[1];pos = 1;}
