/* Generated by Goblint-CIL v. 2.0.6-15-gfaeb7be */
/* print_CIL_Input is true */

#line 2 "cilcode.tmp/ex7.c"
enum __anonenum_x_23726404 {
    FIVEFIVE = 5,
    SIXSIX = 6,
    SEVENSEVEN = 7,
    FOURFOUR = 4,
    EIGHTEIGHT = 8
} ;
#line 1 "cilcode.tmp/ex7.c"
int main(void) 
{ 
  enum __anonenum_x_23726404 x ;

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