374375376377378379380
} void shiftPc(int where, int gapSize, boolean exclusive) throws BadBytecode { new Shifter(this, where, gapSize, exclusive).visit(); }
373374375376377378379