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

#line 2 "cilcode.tmp/ex7.c"
enum __anonenum_x_1 {
    FIVE = 5,
    SIX = 6,
    SEVEN = 7,
    FOUR = 4,
    EIGHT = 8
} ;
#line 1 "cilcode.tmp/ex7.c"
int main(void) 
{ enum __anonenum_x_1 x ;

  {
#line 2
  x = (enum __anonenum_x_1 )5;
#line 8
  return ((int )x);
}
}