new BitVector(dock.getShip().getFleet().getWordWidth())
.set(getField(counter-1, counter-ctx.fleet.getShiftWidth(), literal))));
counter -= ctx.fleet.getShiftWidth();
new BitVector(dock.getShip().getFleet().getWordWidth())
.set(getField(counter-1, counter-ctx.fleet.getShiftWidth(), literal))));
counter -= ctx.fleet.getShiftWidth();