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

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

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