void (ConditionalBranchingInstruction instruction, int offset, int nextOffset) { int newOffset = instruction.offset; walkThroughStack.push(offset, newOffset); walkThroughStack.push(offset, offset + 1); walkThroughStack.push(newOffset); walkThroughStack.push(offset + 1); }