readRestartInterval 2954 lib/pdf/xpdf/Stream.cc       if (!readRestartInterval()) {
readRestartInterval  644 lib/pdf/xpdf/Stream.h   GBool readRestartInterval();