pub const NONE_BUFFERED_INPUT_STREAM: Option<&'static BufferedInputStream>;