/* Generated by CIL v. 1.7.0 */
/* print_CIL_Input is false */

struct _1_main__opaque_Node_1;
union _2_fib_$node;
struct __sFILE;
struct __sFILEX;
struct __sbuf;
struct timeval;
enum _2_fib_$op;
typedef long long __int64_t;
typedef __int64_t __darwin_off_t;
extern void signal(int sig , void *func ) ;
extern float strtof(char const   *str , char const   *endptr ) ;
typedef struct __sFILE FILE;
extern double strtod(char const   *str , char const   *endptr ) ;
extern int fclose(void *stream ) ;
extern void *fopen(char const   *filename , char const   *mode ) ;
extern void abort() ;
struct __sbuf {
   unsigned char *_base ;
   int _size ;
};
enum _2_fib_$op {
    _2_fib__goto$label_LAB_0 = 85,
    _2_fib__call$func_LIT_0 = 55,
    _2_fib__load_int$left_STA_0$result_REG_0__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_STA_0__Lt_int_int2int$left_STA_0$result_REG_0$right_REG_1__convert_int2int$result_STA_0$left_REG_0__branchIfTrue$expr_STA_0$label_LAB_0 = 203,
    _2_fib__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_STA_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__store_int$left_STA_0$right_STA_1 = 163,
    _2_fib__formal$result_STA_0$value_LIT_0 = 94,
    _2_fib__returnVoid$ = 34,
    _2_fib__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_REG_0__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_STA_0__PlusA_int_int2int$left_STA_0$result_REG_0$right_REG_1__convert_int2int$result_STA_0$left_REG_0__local$result_STA_0$value_LIT_0__store_int$left_STA_0$right_STA_1 = 127,
    _2_fib__store_int$left_STA_0$right_REG_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__constant_int$result_REG_0$value_LIT_1__store_int$left_STA_0$right_REG_0__goto$label_LAB_0 = 39,
    _2_fib__label$label_LAB_0 = 7,
    _2_fib__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__constant_int$result_REG_0$value_LIT_1__convert_int2int$result_STA_0$left_REG_0__PlusA_int_int2int$right_STA_0$result_STA_0$left_STA_1__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__store_int$left_STA_0$right_STA_1__goto$label_LAB_0 = 123,
    _2_fib__local$result_STA_0$value_LIT_0__constant_int$result_REG_0$value_LIT_1__store_int$left_STA_0$right_REG_0__constant_int$result_REG_0$value_LIT_1__convert_int2int$result_STA_0$left_REG_0__local$result_STA_0$value_LIT_0__store_int$left_STA_0$right_STA_1__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__constant_int$result_REG_0$value_LIT_1 = 166,
    _2_fib__load_int$left_STA_0$result_STA_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_REG_0__convert_int2int$result_STA_0$left_REG_0__local$result_STA_0$value_LIT_0__store_int$left_STA_0$right_STA_1 = 1,
    _2_fib__local$result_STA_0$value_LIT_0__string$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__store_void_star$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0 = 222
} ;
unsigned char _2_fib_$array[1][312]  = { {        _2_fib__local$result_STA_0$value_LIT_0__constant_int$result_REG_0$value_LIT_1__store_int$left_STA_0$right_REG_0__constant_int$result_REG_0$value_LIT_1__convert_int2int$result_STA_0$left_REG_0__local$result_STA_0$value_LIT_0__store_int$left_STA_0$right_STA_1__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__constant_int$result_REG_0$value_LIT_1,        (unsigned char)4,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)8,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)12,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _2_fib__store_int$left_STA_0$right_REG_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__constant_int$result_REG_0$value_LIT_1__store_int$left_STA_0$right_REG_0__goto$label_LAB_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)16,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)32,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _2_fib__formal$result_STA_0$value_LIT_0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _2_fib__load_int$left_STA_0$result_REG_0__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_STA_0__Lt_int_int2int$left_STA_0$result_REG_0$right_REG_1__convert_int2int$result_STA_0$left_REG_0__branchIfTrue$expr_STA_0$label_LAB_0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)16,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)34,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _2_fib__goto$label_LAB_0,        (unsigned char)4,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _2_fib__goto$label_LAB_0,        (unsigned char)128,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _2_fib__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_REG_0__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_STA_0__PlusA_int_int2int$left_STA_0$result_REG_0$right_REG_1__convert_int2int$result_STA_0$left_REG_0__local$result_STA_0$value_LIT_0__store_int$left_STA_0$right_STA_1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)8, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)4, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)2, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)2, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)12, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _2_fib__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_STA_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__store_int$left_STA_0$right_STA_1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)4,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)8,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)12,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)8,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _2_fib__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__constant_int$result_REG_0$value_LIT_1__convert_int2int$result_STA_0$left_REG_0__PlusA_int_int2int$right_STA_0$result_STA_0$left_STA_1__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__store_int$left_STA_0$right_STA_1__goto$label_LAB_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)16,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)2,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)2,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)16,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)137,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _2_fib__goto$label_LAB_0,        (unsigned char)96,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        _2_fib__local$result_STA_0$value_LIT_0__string$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__store_void_star$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0,        (unsigned char)24, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)32, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _2_fib__formal$result_STA_0$value_LIT_0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _2_fib__load_int$left_STA_0$result_STA_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_REG_0__convert_int2int$result_STA_0$left_REG_0__local$result_STA_0$value_LIT_0__store_int$left_STA_0$right_STA_1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)12,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)36,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _2_fib__call$func_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _2_fib__goto$label_LAB_0,        (unsigned char)4, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _2_fib__returnVoid$}};
typedef __darwin_off_t fpos_t;
extern void exit(int status ) ;
void fib(int n ) ;
struct _1_main__opaque_Node_1 {
   int data ;
   struct _1_main__opaque_Node_1 *next ;
};
struct _1_main__opaque_Node_1 *_1_main__opaque_list1_1  =    (struct _1_main__opaque_Node_1 *)0;
extern int raise(int sig ) ;
extern int fprintf(struct __sFILE *stream , char const   *format  , ...) ;
extern int rand() ;
extern unsigned long strtoul(char const   *str , char const   *endptr , int base ) ;
extern int __swbuf(int  , FILE * ) ;
__inline int ( __attribute__((__always_inline__)) __sputc)(int _c , FILE *_p ) ;
struct __sFILE {
   unsigned char *_p ;
   int _r ;
   int _w ;
   short _flags ;
   short _file ;
   struct __sbuf _bf ;
   int _lbfsize ;
   void *_cookie ;
   int (*_close)(void * ) ;
   int (*_read)(void * , char * , int  ) ;
   fpos_t (*_seek)(void * , fpos_t  , int  ) ;
   int (*_write)(void * , char const   * , int  ) ;
   struct __sbuf _ub ;
   struct __sFILEX *_extra ;
   int _ur ;
   unsigned char _ubuf[3] ;
   unsigned char _nbuf[1] ;
   struct __sbuf _lb ;
   int _blksize ;
   fpos_t _offset ;
};
extern int strncmp(char const   *s1 , char const   *s2 , unsigned long maxlen ) ;
extern int gettimeofday(struct timeval *tv , void *tz  , ...) ;
extern int ( /* format attribute */  printf)(char const   * __restrict    , ...) ;
char const   *_2_fib_$strings  =    "fib(%i)=%i\n\000";
int main(int argc , char **argv ) ;
extern unsigned long strlen(char const   *s ) ;
void megaInit(void) ;
extern long strtol(char const   *str , char const   *endptr , int base ) ;
struct timeval {
   long tv_sec ;
   long tv_usec ;
};
extern void *memcpy(void *s1 , void const   *s2 , unsigned long size ) ;
extern unsigned long strnlen(char const   *s , unsigned long maxlen ) ;
void fac(int n ) ;
struct _1_main__opaque_Node_1 *_1_main__opaque_list2_1  =    (struct _1_main__opaque_Node_1 *)0;
union _2_fib_$node {
   void *_void_star ;
   int _int ;
};
extern void *malloc(unsigned long size ) ;
typedef struct _1_main__opaque_Node_1 *_1_main__opaque_List_1;
extern int scanf(char const   *format  , ...) ;
void fib(int n ) 
{ 
  int a ;
  int b ;
  int s ;
  int i ;
  int __cil_tmp7 ;
  int __cil_tmp8 ;
  char _2_fib_$locals[40] ;
  register int _2_fib_$select ;
  union _2_fib_$node _2_fib_$stack[1][32] ;
  union _2_fib_$node *_2_fib_$sp[1] ;
  union _2_fib_$node _2_fib_$regs[1][3] ;
  unsigned char *_2_fib_$pc[1] ;

  {
  _2_fib_$sp[0] = _2_fib_$stack[0];
  _2_fib_$pc[0] = _2_fib_$array[0];
  while (1) {
    switch (*(_2_fib_$pc[0]) * (unsigned char )(_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL)) {
    case _2_fib__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_STA_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__store_int$left_STA_0$right_STA_1: 
    _2_fib_$pc[0] += (_1_main__opaque_list1_1 != _1_main__opaque_list2_1) + (_1_main__opaque_list1_1 == _1_main__opaque_list2_1);
    if (_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) {
      if (_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) {
        if (_1_main__opaque_list1_1 == _1_main__opaque_list2_1) {
          if (_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) {
            _2_fib_$regs[0][*((int *)_2_fib_$pc[0])]._void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 4)));
            _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 16))]._int = *((int *)((void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 12)))));
            *((int *)_2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 8))]._void_star) = _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 20))]._int;
            _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 28))]._void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 32)));
            *((int *)_2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 36))]._void_star) = *((int *)((void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 24)))));
            _2_fib_$pc[0] += 40;
          } else {

          }
        } else
        if ((_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) > _2_fib_$select) {

        } else {
          _2_fib_$regs[0][*((int *)_2_fib_$pc[0])]._void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 4))) + -1;
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 16))]._int = *((int *)((void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 12))))) + s;
          *((int *)_2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 8))]._void_star) = 2;
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 28))]._void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 32))) + 1;
          *((int *)_2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 36))]._void_star) = *((int *)((void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 24))))) * s;
          _2_fib_$pc[0] += 40;
        }
      } else {

      }
    } else {

    }
    break;
    case _2_fib__call$func_LIT_0: 
    _2_fib_$pc[0] += ! (_1_main__opaque_list1_1 != _1_main__opaque_list2_1);
    if (_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) {
      if (_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) {
        switch (*((int *)_2_fib_$pc[0])) {
        case 1: 
        printf(*((char const   * __restrict  *)(_2_fib_$locals + 24)), *((int *)(_2_fib_$locals + 32)),
               *((int *)(_2_fib_$locals + 36)));
        break;
        }
        _2_fib_$pc[0] += 4;
      } else {

      }
    } else
    if ((_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) > __cil_tmp7) {

    } else {
      if (*((int *)_2_fib_$pc[0]) > __cil_tmp7) {

      } else {
        printf(*((char const   * __restrict  *)(_2_fib_$locals + 24)) - -1, 4, 8);
      }
      _2_fib_$pc[0] += 4;
    }
    break;
    case _2_fib__local$result_STA_0$value_LIT_0__constant_int$result_REG_0$value_LIT_1__store_int$left_STA_0$right_REG_0__constant_int$result_REG_0$value_LIT_1__convert_int2int$result_STA_0$left_REG_0__local$result_STA_0$value_LIT_0__store_int$left_STA_0$right_STA_1__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__constant_int$result_REG_0$value_LIT_1: 
    _2_fib_$pc[0] += (_1_main__opaque_list1_1 != _1_main__opaque_list2_1) + (_1_main__opaque_list1_1 == _1_main__opaque_list2_1);
    if (_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) {
      if (_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) {
        if (_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) {
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 4))]._int = *((int *)(_2_fib_$pc[0] + 8));
          *((int *)((void *)(_2_fib_$locals + *((int *)_2_fib_$pc[0])))) = _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 12))]._int;
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 16))]._int = *((int *)(_2_fib_$pc[0] + 20));
          *((int *)((void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 28))))) = _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 24))]._int;
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 32))]._void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 36)));
          (_2_fib_$sp[0] + 1)->_void_star = _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 40))]._void_star;
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 44))]._int = *((int *)(_2_fib_$pc[0] + 48));
          (_2_fib_$sp[0]) ++;
          _2_fib_$pc[0] += 52;
        } else {

        }
      } else {
        while ((_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) <= i) {
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 4))]._int = n;
          *((int *)((void *)(_2_fib_$locals + *((int *)_2_fib_$pc[0])))) = 3;
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 16))]._int = *((int *)(_2_fib_$pc[0] + 20)) & s;
          *((int *)((void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 28))))) = _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 24))]._int << n;
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 32))]._void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 36))) - 1;
          (_2_fib_$sp[0] + 1)->_void_star = _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 40))]._void_star - 1;
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 44))]._int = 7;
          _2_fib_$sp[0] = (_2_fib_$sp[0] + 1) + 1;
          _2_fib_$pc[0] += 52;
        }
      }
    } else {
      {
      while ((_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) > a) {
        if ((_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) > a) {

        } else {
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 4))]._int = 9;
          *((int *)((void *)(_2_fib_$locals + *((int *)_2_fib_$pc[0])))) = b;
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 16))]._int = 6;
          *((int *)((void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 28))))) = __cil_tmp8;
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 32))]._void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 36))) + 1;
          (_2_fib_$sp[0] + 1)->_void_star = _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 40))]._void_star - -1;
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 44))]._int = i;
          _2_fib_$sp[0] = (_2_fib_$sp[0] + 1) - 1;
          _2_fib_$pc[0] += 52;
        }
      }
      }
    }
    break;
    case _2_fib__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_REG_0__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_STA_0__PlusA_int_int2int$left_STA_0$result_REG_0$right_REG_1__convert_int2int$result_STA_0$left_REG_0__local$result_STA_0$value_LIT_0__store_int$left_STA_0$right_STA_1: 
    _2_fib_$pc[0] += (_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) - (_1_main__opaque_list2_1 == (struct _1_main__opaque_Node_1 *)0UL);
    _2_fib_$regs[0][*((int *)_2_fib_$pc[0])]._void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 4)));
    _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 12))]._int = *((int *)_2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 8))]._void_star);
    _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 20))]._int = *((int *)((void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 16))))) + _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 24))]._int;
    *((int *)((void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 32))))) = _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 28))]._int;
    _2_fib_$pc[0] += 36;
    break;
    case _2_fib__label$label_LAB_0: 
    _2_fib_$pc[0] += _1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL;
    break;
    case _2_fib__returnVoid$: 
    _2_fib_$pc[0] += _1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL;
    if (_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) {
      if (_1_main__opaque_list1_1 == _1_main__opaque_list2_1) {
        if (_1_main__opaque_list1_1 == _1_main__opaque_list2_1) {
          if (_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) {
            return;
          } else {
            return;
          }
        } else
        if ((_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) <= _2_fib_$select) {
          return;
        } else {
          return;
        }
      } else {

      }
    } else
    if ((_1_main__opaque_list1_1 == _1_main__opaque_list2_1) >= n) {

    } else
    if ((_1_main__opaque_list1_1 == _1_main__opaque_list2_1) >= __cil_tmp7) {
      if (((_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) <= _2_fib_$select) < b) {
        return;
      } else {
        return;
      }
    } else {
      {
      while ((_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) == _2_fib_$select) {
        return;
      }
      }
    }
    break;
    case _2_fib__local$result_STA_0$value_LIT_0__string$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__store_void_star$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0: 
    _2_fib_$pc[0] += _1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL;
    if (_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) {
      if (_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) {
        if (_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) {
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 8))]._void_star = (void *)(_2_fib_$strings + *((int *)(_2_fib_$pc[0] + 4)));
          *((void **)((void *)(_2_fib_$locals + *((int *)_2_fib_$pc[0])))) = _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 12))]._void_star;
          (_2_fib_$sp[0] + 1)->_void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 16)));
          (_2_fib_$sp[0]) ++;
          _2_fib_$pc[0] += 20;
        } else {
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 8))]._void_star = (void *)(_2_fib_$strings + *((int *)(_2_fib_$pc[0] + 4))) - 1;
          *((void **)((void *)(_2_fib_$locals + *((int *)_2_fib_$pc[0])))) = _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 12))]._void_star - 1;
          (_2_fib_$sp[0] + 1)->_void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 16))) - 1;
          _2_fib_$sp[0] = (_2_fib_$sp[0] + 1) + -1;
          _2_fib_$pc[0] += 20;
        }
      } else {

      }
    } else
    if ((_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) > a) {

    } else {
      {
      while ((_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) != a) {
        _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 8))]._void_star = (void *)(_2_fib_$strings + *((int *)(_2_fib_$pc[0] + 4))) + -1;
        *((void **)((void *)(_2_fib_$locals + *((int *)_2_fib_$pc[0])))) = _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 12))]._void_star - -1;
        (_2_fib_$sp[0] + 1)->_void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 16))) - 1;
        _2_fib_$sp[0] = (_2_fib_$sp[0] + 1) - -1;
        _2_fib_$pc[0] += 20;
      }
      }
    }
    break;
    case _2_fib__load_int$left_STA_0$result_REG_0__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_STA_0__Lt_int_int2int$left_STA_0$result_REG_0$right_REG_1__convert_int2int$result_STA_0$left_REG_0__branchIfTrue$expr_STA_0$label_LAB_0: 
    _2_fib_$pc[0] += _1_main__opaque_list1_1 == _1_main__opaque_list2_1;
    if (_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) {
      if (_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) {
        if (_1_main__opaque_list1_1 == _1_main__opaque_list2_1) {
          _2_fib_$regs[0][*((int *)_2_fib_$pc[0])]._int = *((int *)(_2_fib_$sp[0] + 0)->_void_star);
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 8))]._int = *((int *)((void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 4))))) < _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 12))]._int;
          if (_2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 16))]._int) {
            _2_fib_$pc[0] += *((int *)(_2_fib_$pc[0] + 20));
          } else {
            _2_fib_$pc[0] += 24;
          }
          if (_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) {
            (_2_fib_$sp[0]) --;
          } else {
            _2_fib_$regs[0][*((int *)_2_fib_$pc[0])]._int = *((int *)(_2_fib_$sp[0] + 0)->_void_star) << 10;
            _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 8))]._int = (*((int *)((void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 4))))) < _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 12))]._int) | 10;
          }
        } else {

        }
      } else
      if ((_1_main__opaque_list1_1 == _1_main__opaque_list2_1) == b) {

      } else {
        _2_fib_$regs[0][*((int *)_2_fib_$pc[0])]._int = 4;
        _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 8))]._int = (*((int *)((void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 4))))) < _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 12))]._int) + i;
        while (_2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 16))]._int >= __cil_tmp8) {
          _2_fib_$pc[0] += *((int *)(_2_fib_$pc[0] + 20));
        }
        if ((_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) < _2_fib_$select) {
          _2_fib_$regs[0][*((int *)_2_fib_$pc[0])]._int = (*((int *)(_2_fib_$sp[0] + 0)->_void_star) << 10) << 7;
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 8))]._int = ((*((int *)((void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 4))))) < _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 12))]._int) | 10) / n;
        } else {
          _2_fib_$sp[0] = (_2_fib_$sp[0] + -1) + -1;
        }
      }
    } else {
      {
      while ((_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) <= s) {
        {
        while ((_1_main__opaque_list1_1 == _1_main__opaque_list2_1) < __cil_tmp7) {
          _2_fib_$regs[0][*((int *)_2_fib_$pc[0])]._int = *((int *)(_2_fib_$sp[0] + 0)->_void_star) & 7;
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 8))]._int = 1;
          if (_2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 16))]._int > b) {
            _2_fib_$pc[0] += 24;
          } else {
            _2_fib_$pc[0] += *((int *)(_2_fib_$pc[0] + 20));
          }
          {
          while ((_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) < s) {
            _2_fib_$sp[0] = (_2_fib_$sp[0] + -1) + 1;
          }
          }
        }
        }
      }
      }
    }
    break;
    case _2_fib__formal$result_STA_0$value_LIT_0: 
    _2_fib_$pc[0] += _1_main__opaque_list1_1 == _1_main__opaque_list2_1;
    switch (*((int *)_2_fib_$pc[0])) {
    case 0: 
    (_2_fib_$sp[0] + 1)->_void_star = (void *)(& n);
    break;
    }
    (_2_fib_$sp[0]) ++;
    _2_fib_$pc[0] += 4;
    break;
    case _2_fib__goto$label_LAB_0: 
    _2_fib_$pc[0] += _1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL;
    if (_1_main__opaque_list1_1 == _1_main__opaque_list2_1) {
      if (_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) {
        if (_1_main__opaque_list1_1 == _1_main__opaque_list2_1) {
          if (_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) {
            _2_fib_$pc[0] += *((int *)_2_fib_$pc[0]);
          } else {

          }
        } else {

        }
      } else
      if ((_1_main__opaque_list1_1 == _1_main__opaque_list2_1) == n) {

      } else
      if ((_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) == a) {

      } else {
        _2_fib_$pc[0] += *((int *)_2_fib_$pc[0]);
      }
    } else {
      {
      while ((_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) > b) {
        if ((_1_main__opaque_list1_1 == _1_main__opaque_list2_1) <= b) {

        } else
        if ((_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) >= n) {

        } else {
          _2_fib_$pc[0] += *((int *)_2_fib_$pc[0]);
        }
      }
      }
    }
    break;
    case _2_fib__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__constant_int$result_REG_0$value_LIT_1__convert_int2int$result_STA_0$left_REG_0__PlusA_int_int2int$right_STA_0$result_STA_0$left_STA_1__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__store_int$left_STA_0$right_STA_1__goto$label_LAB_0: 
    _2_fib_$pc[0] += _1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL;
    if (_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) {
      if (_1_main__opaque_list1_1 == _1_main__opaque_list2_1) {
        if (_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) {
          _2_fib_$regs[0][*((int *)_2_fib_$pc[0])]._void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 4)));
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 12))]._int = *((int *)(_2_fib_$pc[0] + 16));
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 24))]._void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 28)));
          *((int *)_2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 32))]._void_star) = *((int *)_2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 8))]._void_star) + _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 20))]._int;
          _2_fib_$pc[0] += *((int *)(_2_fib_$pc[0] + 36));
        } else {

        }
      } else {

      }
    } else {
      {
      while ((_1_main__opaque_list1_1 == _1_main__opaque_list2_1) >= s) {
        {
        while ((_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) == n) {
          _2_fib_$regs[0][*((int *)_2_fib_$pc[0])]._void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 4))) - 1;
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 12))]._int = *((int *)(_2_fib_$pc[0] + 16)) & _2_fib_$select;
          _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 24))]._void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 28))) + -1;
          *((int *)_2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 32))]._void_star) = b;
          _2_fib_$pc[0] += *((int *)(_2_fib_$pc[0] + 36));
        }
        }
      }
      }
    }
    break;
    case _2_fib__store_int$left_STA_0$right_REG_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__constant_int$result_REG_0$value_LIT_1__store_int$left_STA_0$right_REG_0__goto$label_LAB_0: 
    _2_fib_$pc[0] += ! (_1_main__opaque_list1_1 == (struct _1_main__opaque_Node_1 *)0UL);
    if (_1_main__opaque_list1_1 == _1_main__opaque_list2_1) {
      if (_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) {
        if (_1_main__opaque_list2_1 != (struct _1_main__opaque_Node_1 *)0UL) {
          if (_1_main__opaque_list1_1 == _1_main__opaque_list2_1) {
            *((int *)(_2_fib_$sp[0] + 0)->_void_star) = _2_fib_$regs[0][*((int *)_2_fib_$pc[0])]._int;
            _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 4))]._void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 8)));
            _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 16))]._int = *((int *)(_2_fib_$pc[0] + 20));
            *((int *)_2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 12))]._void_star) = _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 24))]._int;
            _2_fib_$pc[0] += *((int *)(_2_fib_$pc[0] + 28));
            (_2_fib_$sp[0]) --;
          } else {
            *((int *)(_2_fib_$sp[0] + 0)->_void_star) = 4;
            _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 4))]._void_star = (void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 8))) - -1;
            _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 16))]._int = *((int *)(_2_fib_$pc[0] + 20)) * 4;
            *((int *)_2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 12))]._void_star) = _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 24))]._int | 8;
            _2_fib_$pc[0] += *((int *)(_2_fib_$pc[0] + 28));
            _2_fib_$sp[0] = (_2_fib_$sp[0] + -1) + 1;
          }
        } else {

        }
      } else {

      }
    } else {

    }
    break;
    case _2_fib__load_int$left_STA_0$result_STA_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_REG_0__convert_int2int$result_STA_0$left_REG_0__local$result_STA_0$value_LIT_0__store_int$left_STA_0$right_STA_1: 
    _2_fib_$pc[0] += ! (_1_main__opaque_list1_1 != _1_main__opaque_list2_1);
    if (_1_main__opaque_list1_1 == _1_main__opaque_list2_1) {
      _2_fib_$regs[0][*((int *)_2_fib_$pc[0])]._int = *((int *)(_2_fib_$sp[0] + 0)->_void_star);
      *((int *)(_2_fib_$sp[0] + -1)->_void_star) = _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 4))]._int;
      _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 12))]._int = *((int *)((void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 8)))));
      *((int *)((void *)(_2_fib_$locals + *((int *)(_2_fib_$pc[0] + 20))))) = _2_fib_$regs[0][*((int *)(_2_fib_$pc[0] + 16))]._int;
      _2_fib_$sp[0] += -2;
      _2_fib_$pc[0] += 24;
    } else {

    }
    break;
    }
  }
}
}
void megaInit(void) 
{ 


  {

}
}
void fac(int n ) 
{ 
  int s ;
  int i ;

  {
  s = 1;
  i = 2;
  while (i <= n) {
    s *= i;
    i ++;
  }
  printf((char const   */* __restrict  */)"fac(%i)=%i\n", n, s);
  return;
}
}
__inline int ( __attribute__((__always_inline__)) __sputc)(int _c , FILE *_p ) 
{ 
  unsigned char *tmp ;
  unsigned char tmp___0 ;
  int tmp___1 ;

  {
  (_p->_w) --;
  if (_p->_w >= 0) {
    tmp = _p->_p;
    (_p->_p) ++;
    tmp___0 = (unsigned char )_c;
    *tmp = tmp___0;
    return ((int )tmp___0);
  } else
  if (_p->_w >= _p->_lbfsize) {
    if ((int )((char )_c) != 10) {
      tmp = _p->_p;
      (_p->_p) ++;
      tmp___0 = (unsigned char )_c;
      *tmp = tmp___0;
      return ((int )tmp___0);
    } else {
      tmp___1 = __swbuf(_c, _p);
      return (tmp___1);
    }
  } else {
    tmp___1 = __swbuf(_c, _p);
    return (tmp___1);
  }
}
}
int main(int argc , char **argv ) 
{ 
  int i3 ;
  int r4 ;
  struct _1_main__opaque_Node_1 *p5 ;

  {
  megaInit();
  i3 = 0;
  while (i3 < 2) {
    r4 = rand();
    {
    p5 = (struct _1_main__opaque_Node_1 *)malloc(sizeof(struct _1_main__opaque_Node_1 ));
    if (p5 != (struct _1_main__opaque_Node_1 *)0UL) {
      p5->data = r4;
      if (_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) {
        p5->next = _1_main__opaque_list1_1->next;
        _1_main__opaque_list1_1->next = p5;
      } else {
        p5->next = p5;
        _1_main__opaque_list1_1 = p5;
      }
    } else {

    }
    }
    i3 ++;
  }
  _1_main__opaque_list2_1 = _1_main__opaque_list1_1;
  fac(1);
  fib(1);
  fac(5);
  fib(5);
  fac(10);
  fib(10);
  return (0);
}
}