public PdbStream(Stream stream, int pageSize, int[] pages, long length) { this.length = length; page = new byte[pageSize]; this.pageSize = pageSize; this.pages = pages; position = 0; this.stream = stream; SwitchPage(); }