throw new IllegalStateException("Stack underflow: " + e.getMessage());
throw new InvalidBytecodeException("Stack underflow: " + e.getMessage());
	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.		TypeFrame frame = getFrame();		try {			frame.popValue(); // index			Type arrayType = frame.popValue(); // arrayref			if (arrayType instanceof ArrayType) {				ArrayType arr = (ArrayType) arrayType;				pushValue(arr.getElementType());			} else {				pushValue(TypeFrame.getBottomType());			}		} catch (DataflowAnalysisException e) {			throw new IllegalStateException("Stack underflow: " + e.getMessage());		}	}