public void visit_iastore(final Instruction inst) {
		final Expr value = stack.pop(Type.INTEGER);
		final Expr index = stack.pop(Type.INTEGER);
		final Expr array = stack.pop(Type.INTEGER.arrayType());
		final ArrayRefExpr target = new ArrayRefExpr(array, index,
				Type.INTEGER, Type.INTEGER);
		addStore(target, value);
	}