3115           code_count));

  3115           code_count));

  3116 }

  3116 }

  3117 

  3117 

  3118 void unpacker::read_bands() {

  3118 void unpacker::read_bands() {

  3119   byte* rp0 = rp;

  3119   byte* rp0 = rp;

  3121   read_file_header();

  3121   read_file_header();

  3122   CHECK;

  3122   CHECK;

  3123 

  3123 

  3124   if (cp.nentries == 0) {

  3124   if (cp.nentries == 0) {

  3125     // read_file_header failed to read a CP, because it copied a JAR.

  3125     // read_file_header failed to read a CP, because it copied a JAR.

  3877 // Usage: unpack a byte buffer

  3877 // Usage: unpack a byte buffer

  3878 // packptr is a reference to byte buffer containing a

  3878 // packptr is a reference to byte buffer containing a

  3879 // packed file and len is the length of the buffer.

  3879 // packed file and len is the length of the buffer.

  3880 // If null, the callback is used to fill an internal buffer.

  3880 // If null, the callback is used to fill an internal buffer.

  3881 void unpacker::start(void* packptr, size_t len) {

  3881 void unpacker::start(void* packptr, size_t len) {

  3882   NOT_PRODUCT(debug_u = this);

  3883   NOT_PRODUCT(debug_u = this);

  3883   if (packptr != null && len != 0) {

  3884   if (packptr != null && len != 0) {

  3884     inbytes.set((byte*) packptr, len);

  3885     inbytes.set((byte*) packptr, len);

  3885   }

  3886   }

  3886   read_bands();

  3888   read_bands();

  3887 }

  3889 }

  3888 

  3890 

  3889 void unpacker::check_options() {

  3891 void unpacker::check_options() {

  3890   const char* strue  = "true";

  3892   const char* strue  = "true";