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

#line 1 "cilcode.tmp/ex25.c"
int foo(int predicate ) 
{ int __retres ;

  {
#line 2
  if (predicate <= 0) {
#line 3
    __retres = 1;
    goto return_label;
  } else {
#line 5
    if (predicate > 5) {
#line 6
      __retres = 2;
      goto return_label;
    }
#line 7
    __retres = 3;
    goto return_label;
  }
  return_label: /* CIL Label */ 
#line 1
  return (__retres);
}
}
