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