no_pad_bytes = (remainder == 0) ? 0 : 4 - remainder;
for (int i = 0; i < no_pad_bytes; i++) {
byte b;
if ((b = bytes.readByte()) != 0) {
System.err.println("Warning: Padding byte != 0 in "
<BUG>+ Constants.OPCODE_NAMES[opcode] + ":" + b);
}</BUG>
}
default_offset = bytes.readInt();
}

no_pad_bytes = (remainder == 0) ? 0 : 4 - remainder;
for (int i = 0; i < no_pad_bytes; i++) {
byte b;
if ((b = bytes.readByte()) != 0) {
System.err.println("Warning: Padding byte != 0 in "
+ Constants.getOpcodeName(opcode) + ":" + b);
}
}
default_offset = bytes.readInt();
}
