public void visitDALOAD(DALOAD obj)				{ pushValue(Type.DOUBLE); }
public void visitDALOAD(DALOAD obj)				{ consumeStack(obj); pushValue(Type.DOUBLE); }
	public void visitDALOAD(DALOAD obj)				{ pushValue(Type.DOUBLE); }