// RUN: %sea abc -O0 --abc-encoding=%abc_encoding %dsa "%s" %abc3_definitions 2>&1 | OutputCheck %s
// CHECK: ^sat$

// If the multidimensional array is local then LLVM generates multiple
// GetElementPtr instructions

int main(int arg, char **argv) {
  int p[2][2][2];

  p[0][0][2] = 1;
  p[0][0][1] = 1;
  p[0][1][0] = 1;
  p[0][1][1] = 1;
  p[1][0][0] = 1;
  p[2][0][1] = 1;
  p[1][1][0] = 1;
  p[1][1][1] = 1;

  return 42;
}
