InstructionIterator dup = new InstructionIterator(); dup.index = this.index; return dup; }
return new InstructionIterator(next, last); }
	public InstructionIterator duplicate() {	    InstructionIterator dup = new InstructionIterator();	    dup.index = this.index;	    return dup;	}