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