#include <stdio.h>

int main()
{
  int x[2] = { 12, 34 };
  printf("x[2] = %d\n", x[2]);
  return 0;
}