public BufferedInputStream (InputStream s) { BaseStream = s.GetWrappedStream (); base.Wrapped = new BufferedStream (BaseStream); }