TypeFrame frame = getFrame();
	public void visitAALOAD(AALOAD obj) {		// To determine the type pushed on the stack,		// we look at the type of the array reference which was		// popped off of the stack.		try {			Type arrayType = frame.popValue();			ArrayType arr = (ArrayType) arrayType;			pushValue(arr.getElementType());		} catch (DataflowAnalysisException e) {			throw new IllegalStateException("Stack underflow: " + e.getMessage());		}	}