/* Generated by CIL v. 1.3.7 */
/* print_CIL_Input is true */

#line 1 "cilcode.tmp/ex36.c"
int main(void) 
{ int __constr_expr_0[4] ;

  {
#line 1
  __constr_expr_0[0] = 1;
#line 1
  __constr_expr_0[1] = 2;
#line 1
  __constr_expr_0[2] = 3;
#line 1
  __constr_expr_0[3] = 4;
#line 1
  return (__constr_expr_0[1]);
}
}