}
// System.out.println("Offset 0x" +
// PadString.padHex(destination_location, 4) +
// " (was 0x" + PadString.padHex(ifba.getInteger(module,
// destination_location), 8) + ")");
ifba.insertInteger(module, destination_location, ifba.getInteger(
module, destination_location)
+ base_address);
counter++;
}