//#Safe
#include<stdio.h>
int main() {
  int a[2][3] = { { 1, 2, 3}, { 4 }};

//  for (int i0 = 0; i0 < 2; i0++) {
//    for (int i1 = 0; i1 < 3; i1++) {
//      printf("a[%i][%i]: %i\n", i0, i1, a[i0][i1]);
//    }
//  }

  if (a[0][0] != 1) {
    //@assert \false;
  }
  if (a[0][1] != 2) {
    //@assert \false;
  }
  if (a[0][2] != 3) {
    //@assert \false;
  }
  if (a[1][0] != 4) {
    //@assert \false;
  }
  if (a[1][1] != 0) {
    //@assert \false;
  }
  if (a[1][2] != 0) {
    //@assert \false;
  }

//  //@ assert a[0][0] == 1;
//  //@ assert a[0][1] == 2;
//  //@ assert a[0][2] == 3;
//  //@ assert a[1][0] == 4;
//  //@ assert a[1][1] == 0;
//  //@ assert a[1][2] == 0;
}