}
else if(options.has(APPEND_OPTION_STRING)) {
// Append the packets of the operational bitstream to the packets of the original bitstream
PacketList opPackets = opBitstream.getPackets();
PacketList inPackets = bitstream.getPackets();
inPackets.addAll(opPackets);
if (writeBitstreamToBIT(bitstream, outputBitstreamFileName) == 0) {
System.out.println("Generated BRAM Bitstream:"+outputBitstreamFileName);
} else {
System.err.println("Problem generating BRAM bitstream");
System.exit(1);