void (int[] array, int index, int value) { array[<warning descr="Overwritten array element">index</warning>] = value; array[<warning descr="Overwritten array element">index</warning>] = value; // (4) }