public void visitIALOAD(IALOAD obj)				{ pushValue(Type.INT); }
public void visitIALOAD(IALOAD obj)				{ consumeStack(obj); pushValue(Type.INT); }
	public void visitIALOAD(IALOAD obj)				{ pushValue(Type.INT); }