public void visit_daload(final Instruction inst) {
		final Expr index = stack.pop(Type.INTEGER);
		final Expr array = stack.pop(Type.DOUBLE.arrayType());
		final Expr top = new ArrayRefExpr(array, index, Type.DOUBLE,
				Type.DOUBLE);
		stack.push(top);
	}