void array_index()      { int x[2]; int i; x[i] = 4; }