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

// Used to avoid llvm to optimize away
extern void read(int);

extern int unknown();
#define MAX_ARRAY 10

// To test loops
int main(int argc, char **argv) {
  int i, j;
  int a[MAX_ARRAY][MAX_ARRAY];
  for (i = 0; i < MAX_ARRAY; i++) {
    for (j = 0; j < MAX_ARRAY; j++)
      a[i - 1][j] = unknown(); // some unknown value here
  }

  for (i = 0; i < MAX_ARRAY; i++) {
    read(a[i][i]);
  }

  return 0;
}
