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