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

struct __sFILEX;
enum _1_fib_$op;
union _1_fib_$node;
struct __sFILE;
struct __sbuf;
struct timespec;
struct timeval;
union _1_fib_$node {
   void *_void_star ;
   unsigned long long _unsigned_long_long ;
   long long _long_long ;
   unsigned long _unsigned_long ;
   long _long ;
   unsigned short _unsigned_short ;
   short _short ;
   unsigned int _unsigned_int ;
   int _int ;
   unsigned char _unsigned_char ;
   signed char _signed_char ;
   char _char ;
};
void _2_fib_fib_split_27(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_26(char (*_1_fib_$locals)[40] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) ;
extern void qsort(void *base , unsigned long nel , unsigned long width , int (*compar)(void *a ,
                                                                                       void *b ) ) ;
void _2_fib_fib_split_25(unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_24(unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_23(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_22(unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_21(unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_20(unsigned char *(*_1_fib_$pc)[1] ) ;
extern long read(int filedes , void *buf , unsigned long nbyte ) ;
extern void exit(int status ) ;
int _global_argc  =    0;
extern int pthread_create(void *thread , void *attr , void *start_routine , void *arg ) ;
void fib(int n ) ;
void _2_fib_fib_split_9(unsigned char *(*_1_fib_$pc)[1] ) ;
extern long clock(void) ;
void _2_fib_fib_split_8(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                        union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_7(char (*_1_fib_$locals)[40] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                        unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_6(union _1_fib_$node *(*_1_fib_$sp)[1] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                        unsigned char *(*_1_fib_$pc)[1] ) ;
extern void *malloc(unsigned long size ) ;
void _2_fib_fib_split_5(unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_4(union _1_fib_$node (*_1_fib_$stack)[1][32] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                        unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_3(int *n , union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_2(union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_19(unsigned char *(*_1_fib_$pc)[1] ) ;
extern int pthread_mutex_lock(int *mutex ) ;
void _2_fib_fib_split_1(char (*_1_fib_$locals)[40] , unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_18(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
enum _1_fib_$op {
    _1_fib__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__load_int$result_REG_0$left_REG_1__convert_int2int$result_STA_0$left_REG_0 = 5,
    _1_fib__string$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__convert_void_star2void_star$result_STA_0$left_REG_0__convert_void_star2void_star$left_STA_0$result_REG_0__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__store_void_star$left_REG_0$right_REG_1__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0 = 164,
    _1_fib__returnVoid$ = 124,
    _1_fib__formal$result_REG_0$value_LIT_1 = 175,
    _1_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__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__load_int$result_REG_0$left_REG_1__store_int$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0 = 246,
    _1_fib__goto$label_LAB_0 = 101,
    _1_fib__constant_int$result_REG_0$value_LIT_1__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 = 150,
    _1_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__convert_int2int$result_STA_0$left_REG_0__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__PlusA_int_int2int$left_STA_0$result_STA_0$right_REG_0__convert_int2int$left_STA_0$result_REG_0 = 214,
    _1_fib__PlusA_int_int2int$left_STA_0$result_STA_0$right_REG_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0 = 217,
    _1_fib__load_int$left_STA_0$result_REG_0__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__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__convert_int2int$result_STA_0$left_REG_0__constant_int$result_STA_0$value_LIT_0__convert_int2int$left_STA_0$result_REG_0 = 26,
    _1_fib__local$result_STA_0$value_LIT_0__constant_int$result_STA_0$value_LIT_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0__constant_int$result_STA_0$value_LIT_0__convert_int2int$left_STA_0$result_REG_0__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 = 250,
    _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_REG_0__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__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0 = 161,
    _1_fib__load_int$result_REG_0$left_REG_1__convert_int2int$result_STA_0$left_REG_0__Lt_int_int2int$right_STA_0$result_REG_0$left_STA_1__convert_int2int$result_STA_0$left_REG_0__branchIfTrue$expr_STA_0$label_LAB_0 = 126,
    _1_fib__call$func_LIT_0 = 0
} ;
void _2_fib_fib_split_17(union _1_fib_$node *(*_1_fib_$sp)[1] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) ;
extern int pthread_mutex_unlock(int *mutex ) ;
void _2_fib_fib_split_16(unsigned char *(*_1_fib_$pc)[1] ) ;
typedef struct __sFILE FILE;
extern double sqrt(double x ) ;
void _2_fib_fib_split_15(union _1_fib_$node *(*_1_fib_$sp)[1] , unsigned char *(*_1_fib_$pc)[1] ) ;
extern void signal(int sig , void *func ) ;
void _2_fib_fib_split_14(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_13(union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
extern int pthread_cond_broadcast(int *cond ) ;
void _2_fib_fib_split_12(char (*_1_fib_$locals)[40] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) ;
char **_global_envp  =    (char **)0;
void _2_fib_fib_split_11(union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
extern void *dlsym(void *handle , char *symbol ) ;
void _2_fib_fib_split_10(unsigned char *(*_1_fib_$pc)[1] ) ;
__inline int ( __attribute__((__always_inline__)) __sputc)(int _c , FILE *_p ) ;
extern int atoi(char const   *s ) ;
extern int pthread_cond_init(int *cond , int *attr ) ;
typedef long __darwin_time_t;
unsigned char _1_fib_$array[1][428]  = { {        _1_fib__local$result_STA_0$value_LIT_0__constant_int$result_STA_0$value_LIT_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0__constant_int$result_STA_0$value_LIT_0__convert_int2int$left_STA_0$result_REG_0__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,        (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)8,        (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)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,        _1_fib__constant_int$result_REG_0$value_LIT_1__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,        (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)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,        _1_fib__goto$label_LAB_0,        (unsigned char)4, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _1_fib__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__load_int$result_REG_0$left_REG_1__convert_int2int$result_STA_0$left_REG_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)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _1_fib__formal$result_REG_0$value_LIT_1,        (unsigned char)2,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _1_fib__load_int$result_REG_0$left_REG_1__convert_int2int$result_STA_0$left_REG_0__Lt_int_int2int$right_STA_0$result_REG_0$left_STA_1__convert_int2int$result_STA_0$left_REG_0__branchIfTrue$expr_STA_0$label_LAB_0,        (unsigned char)3,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)2,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)3,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)4,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)4,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)34,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _1_fib__goto$label_LAB_0,        (unsigned char)4, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _1_fib__goto$label_LAB_0, 
            (unsigned char)178,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _1_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__convert_int2int$result_STA_0$left_REG_0__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__PlusA_int_int2int$left_STA_0$result_STA_0$right_REG_0__convert_int2int$left_STA_0$result_REG_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)4,        (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)2,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)8,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)2,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)3,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)3,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)4,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _1_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__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__load_int$result_REG_0$left_REG_1__store_int$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_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)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)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)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,        _1_fib__load_int$left_STA_0$result_REG_0__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__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__convert_int2int$result_STA_0$left_REG_0__constant_int$result_STA_0$value_LIT_0__convert_int2int$left_STA_0$result_REG_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)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)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)2, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)3, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _1_fib__PlusA_int_int2int$left_STA_0$result_STA_0$right_REG_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0, 
            (unsigned char)3,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)4,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)4,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _1_fib__goto$label_LAB_0,        (unsigned char)26,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _1_fib__goto$label_LAB_0,        (unsigned char)21,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        _1_fib__string$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__convert_void_star2void_star$result_STA_0$left_REG_0__convert_void_star2void_star$left_STA_0$result_REG_0__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__store_void_star$left_REG_0$right_REG_1__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_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)2, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)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)2, 
            (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,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _1_fib__formal$result_REG_0$value_LIT_1, 
            (unsigned char)1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_REG_0__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__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_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)2,        (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,        (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)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _1_fib__call$func_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _1_fib__goto$label_LAB_0,        (unsigned char)4, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _1_fib__returnVoid$}};
extern int __swbuf(int  ,
                   FILE * ) ;
extern int pthread_barrier_init(int *barrier , int *attr , unsigned int count ) ;
extern int fcntl(int filedes , int cmd  , ...) ;
extern int snprintf(char *str , unsigned long size , char const   *format  , ...) ;
extern int ptrace(int request , void *pid , void *addr , int data ) ;
struct __sbuf {
   unsigned char *_base ;
   int _size ;
};
extern long time(long *tloc ) ;
extern int close(int filedes ) ;
typedef long long __int64_t;
typedef __int64_t __darwin_off_t;
typedef __darwin_off_t fpos_t;
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 pthread_cond_signal(int *cond ) ;
extern int fscanf(struct __sFILE *stream , char const   *format  , ...) ;
void fac(int n ) ;
extern int mprotect(void *addr , unsigned long len , int prot ) ;
extern int ( /* format attribute */  printf)(char const   * __restrict    , ...) ;
extern int strcmp(char const   *a , char const   *b ) ;
struct timespec {
   __darwin_time_t tv_sec ;
   long tv_nsec ;
};
extern double log(double x ) ;
extern int pthread_cond_wait(int *cond , int *mutex ) ;
extern void abort() ;
char const   *_1_fib_$strings  =    "fib(%i)=%i\n\000";
extern double ceil(double x ) ;
void _2_fib_fib_split_54(unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_53(unsigned char *(*_1_fib_$pc)[1] ) ;
extern int pthread_barrier_wait(int *barrier ) ;
extern int fseek(struct __sFILE *stream , long offs , int whence ) ;
void _2_fib_fib_split_52(union _1_fib_$node *(*_1_fib_$sp)[1] , unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_51(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
extern int gethostname(char *name , unsigned long namelen ) ;
void _2_fib_fib_split_50(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
extern int unlink(char const   *filename ) ;
int main(int argc , char **argv , char **_formal_envp ) ;
extern unsigned long strlen(char const   *s ) ;
extern int getpagesize() ;
extern void free(void *ptr ) ;
struct timeval {
   long tv_sec ;
   int tv_usec ;
};
extern int gettimeofday(struct timeval *tv , void *tz ) ;
void _2_fib_fib_split_49(unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_48(unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_47(unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_46(unsigned char *(*_1_fib_$pc)[1] ) ;
extern int pthread_mutex_init(int *mutex , int *attr ) ;
void _2_fib_fib_split_45(unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_44(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
extern int raise(int sig ) ;
void _2_fib_fib_split_43(char (*_1_fib_$locals)[40] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_42(char (*_1_fib_$locals)[40] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_41(unsigned char *(*_1_fib_$pc)[1] ) ;
void megaInit(void) ;
void _2_fib_fib_split_40(union _1_fib_$node *(*_1_fib_$sp)[1] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) ;
extern long write(int filedes , void *buf , unsigned long nbyte ) ;
extern unsigned long strtoul(char const   *str , char const   *endptr , int base ) ;
extern int nanosleep(struct timespec  const  *__rqtp , struct timespec *__rmtp )  __asm__("_nanosleep")  ;
extern int pthread_join(void *thread , void **value_ptr ) ;
void _2_fib_fib_split_39(unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_38(union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
extern int posix_memalign(void **memptr , unsigned long alignment , unsigned long size ) ;
void _2_fib_fib_split_37(union _1_fib_$node *(*_1_fib_$sp)[1] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_36(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
extern int rand() ;
void _2_fib_fib_split_35(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
extern int strncmp(char const   *s1 , char const   *s2 , unsigned long maxlen ) ;
void _2_fib_fib_split_34(unsigned char *(*_1_fib_$pc)[1] ) ;
extern void perror(char const   *str ) ;
void _2_fib_fib_split_33(union _1_fib_$node *(*_1_fib_$sp)[1] ) ;
extern long strtol(char const   *str , char const   *endptr , int base ) ;
void _2_fib_fib_split_32(union _1_fib_$node *(*_1_fib_$sp)[1] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_31(union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
extern int open(char const   *filename , int oflag  , ...) ;
void _2_fib_fib_split_30(unsigned char *(*_1_fib_$pc)[1] ) ;
extern void *fopen(char const   *filename , char const   *mode ) ;
char **_global_argv  =    (char **)0;
extern int scanf(char const   *format  , ...) ;
extern int fprintf(struct __sFILE *stream , char const   *format  , ...) ;
extern int fclose(void *stream ) ;
extern float strtof(char const   *str , char const   *endptr ) ;
extern double strtod(char const   *str , char const   *endptr ) ;
extern int pthread_barrier_destroy(int *barrier ) ;
extern void *memcpy(void *s1 , void const   *s2 , unsigned long size ) ;
extern unsigned long strnlen(char const   *s , unsigned long maxlen ) ;
extern double difftime(long tv1 , long tv0 ) ;
void _2_fib_fib_split_29(unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_28(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) ;
void _2_fib_fib_split_38(union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 44))]._int = *((int *)((*_1_fib_$pc)[0] + 40));
  (*_1_fib_$pc)[0] += 48;
}
}
void _2_fib_fib_split_6(union _1_fib_$node *(*_1_fib_$sp)[1] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                        unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 4))]._int = *((int *)(*_1_fib_$regs)[0][*((int *)(*_1_fib_$pc)[0])]._void_star);
  *((int *)((*_1_fib_$sp)[0] + 0)->_void_star) = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 8))]._int;
}
}
void _2_fib_fib_split_5(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$pc)[0]) ++;
}
}
void _2_fib_fib_split_39(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$pc)[0]) ++;
}
}
void _2_fib_fib_split_32(union _1_fib_$node *(*_1_fib_$sp)[1] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 12))]._int = ((*_1_fib_$sp)[0] + 0)->_int < (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 8))]._int;
}
}
void _2_fib_fib_split_8(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                        union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 28))]._int = *((int *)((void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 24)))));
  *((int *)(*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 20))]._void_star) = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 32))]._int;
  ((*_1_fib_$sp)[0]) --;
}
}
void _2_fib_fib_split_24(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$pc)[0] += 20;
}
}
void _2_fib_fib_split_30(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$pc)[0]) ++;
}
}
void _2_fib_fib_split_41(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$pc)[0]) ++;
}
}
void _2_fib_fib_split_3(int *n , union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  switch (*((int *)((*_1_fib_$pc)[0] + 4))) {
  case 0: 
  (*_1_fib_$regs)[0][*((int *)(*_1_fib_$pc)[0])]._void_star = (void *)(& *n);
  break;
  }
}
}
void _2_fib_fib_split_33(union _1_fib_$node *(*_1_fib_$sp)[1] ) 
{ 


  {
  ((*_1_fib_$sp)[0]) --;
}
}
void _2_fib_fib_split_40(union _1_fib_$node *(*_1_fib_$sp)[1] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 4))]._int = ((*_1_fib_$sp)[0] + 0)->_int + (*_1_fib_$regs)[0][*((int *)(*_1_fib_$pc)[0])]._int;
  *((int *)((*_1_fib_$sp)[0] + -1)->_void_star) = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 8))]._int;
  (*_1_fib_$sp)[0] += -2;
  (*_1_fib_$pc)[0] += 12;
}
}
void fib(int n ) 
{ 
  char _1_fib_$locals[40] ;
  union _1_fib_$node _1_fib_$stack[1][32] ;
  union _1_fib_$node *_1_fib_$sp[1] ;
  union _1_fib_$node _1_fib_$regs[1][5] ;
  unsigned char *_1_fib_$pc[1] ;

  {
  _2_fib_fib_split_4(& _1_fib_$stack, & _1_fib_$sp, & _1_fib_$pc);
  while (1) {
    switch (*(_1_fib_$pc[0])) {
    case _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_REG_0__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__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0: 
    _2_fib_fib_split_5(& _1_fib_$pc);
    _2_fib_fib_split_6(& _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_7(& _1_fib_$locals, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_8(& _1_fib_$locals, & _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_9(& _1_fib_$pc);
    break;
    case _1_fib__string$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__convert_void_star2void_star$result_STA_0$left_REG_0__convert_void_star2void_star$left_STA_0$result_REG_0__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__store_void_star$left_REG_0$right_REG_1__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0: 
    _2_fib_fib_split_10(& _1_fib_$pc);
    _2_fib_fib_split_11(& _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_12(& _1_fib_$locals, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_13(& _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_14(& _1_fib_$locals, & _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_15(& _1_fib_$sp, & _1_fib_$pc);
    break;
    case _1_fib__constant_int$result_REG_0$value_LIT_1__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: 
    _2_fib_fib_split_16(& _1_fib_$pc);
    _2_fib_fib_split_17(& _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_18(& _1_fib_$locals, & _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_19(& _1_fib_$pc);
    break;
    case _1_fib__call$func_LIT_0: 
    _2_fib_fib_split_20(& _1_fib_$pc);
    _2_fib_fib_split_1(& _1_fib_$locals, & _1_fib_$pc);
    _2_fib_fib_split_21(& _1_fib_$pc);
    break;
    case _1_fib__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__load_int$result_REG_0$left_REG_1__convert_int2int$result_STA_0$left_REG_0: 
    _2_fib_fib_split_22(& _1_fib_$pc);
    _2_fib_fib_split_23(& _1_fib_$locals, & _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_24(& _1_fib_$pc);
    break;
    case _1_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__convert_int2int$result_STA_0$left_REG_0__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__PlusA_int_int2int$left_STA_0$result_STA_0$right_REG_0__convert_int2int$left_STA_0$result_REG_0: 
    _2_fib_fib_split_25(& _1_fib_$pc);
    _2_fib_fib_split_26(& _1_fib_$locals, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_27(& _1_fib_$locals, & _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_28(& _1_fib_$locals, & _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_29(& _1_fib_$pc);
    break;
    case _1_fib__load_int$result_REG_0$left_REG_1__convert_int2int$result_STA_0$left_REG_0__Lt_int_int2int$right_STA_0$result_REG_0$left_STA_1__convert_int2int$result_STA_0$left_REG_0__branchIfTrue$expr_STA_0$label_LAB_0: 
    _2_fib_fib_split_30(& _1_fib_$pc);
    _2_fib_fib_split_31(& _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_32(& _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_2(& _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_33(& _1_fib_$sp);
    break;
    case _1_fib__load_int$left_STA_0$result_REG_0__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__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__convert_int2int$result_STA_0$left_REG_0__constant_int$result_STA_0$value_LIT_0__convert_int2int$left_STA_0$result_REG_0: 
    _2_fib_fib_split_34(& _1_fib_$pc);
    _2_fib_fib_split_35(& _1_fib_$locals, & _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_36(& _1_fib_$locals, & _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_37(& _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_38(& _1_fib_$regs, & _1_fib_$pc);
    break;
    case _1_fib__PlusA_int_int2int$left_STA_0$result_STA_0$right_REG_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0: 
    _2_fib_fib_split_39(& _1_fib_$pc);
    _2_fib_fib_split_40(& _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    break;
    case _1_fib__local$result_STA_0$value_LIT_0__constant_int$result_STA_0$value_LIT_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0__constant_int$result_STA_0$value_LIT_0__convert_int2int$left_STA_0$result_REG_0__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: 
    _2_fib_fib_split_41(& _1_fib_$pc);
    _2_fib_fib_split_42(& _1_fib_$locals, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_43(& _1_fib_$locals, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_44(& _1_fib_$locals, & _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_45(& _1_fib_$pc);
    break;
    case _1_fib__goto$label_LAB_0: 
    _2_fib_fib_split_46(& _1_fib_$pc);
    _2_fib_fib_split_47(& _1_fib_$pc);
    break;
    case _1_fib__returnVoid$: 
    _2_fib_fib_split_48(& _1_fib_$pc);
    return;
    break;
    case _1_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__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__load_int$result_REG_0$left_REG_1__store_int$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0: 
    _2_fib_fib_split_49(& _1_fib_$pc);
    _2_fib_fib_split_50(& _1_fib_$locals, & _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_51(& _1_fib_$locals, & _1_fib_$sp, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_52(& _1_fib_$sp, & _1_fib_$pc);
    break;
    case _1_fib__formal$result_REG_0$value_LIT_1: 
    _2_fib_fib_split_53(& _1_fib_$pc);
    _2_fib_fib_split_3(& n, & _1_fib_$regs, & _1_fib_$pc);
    _2_fib_fib_split_54(& _1_fib_$pc);
    break;
    }
  }
}
}
void _2_fib_fib_split_34(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$pc)[0]) ++;
}
}
int main(int argc , char **argv , char **_formal_envp ) 
{ 


  {
  megaInit();
  _global_argc = argc;
  _global_argv = argv;
  _global_envp = _formal_envp;
  fac(1);
  fib(1);
  fac(5);
  fib(5);
  fac(10);
  fib(10);
  return (0);
}
}
void _2_fib_fib_split_11(union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 4))]._void_star = (void *)(_1_fib_$strings + *((int *)(*_1_fib_$pc)[0]));
}
}
void _2_fib_fib_split_42(char (*_1_fib_$locals)[40] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 8))]._int = *((int *)((*_1_fib_$pc)[0] + 4));
  *((int *)((void *)(*_1_fib_$locals + *((int *)(*_1_fib_$pc)[0])))) = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 12))]._int;
}
}
void _2_fib_fib_split_36(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$sp)[0] + -1)->_void_star = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 16))]._void_star;
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 20))]._void_star = (void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 24)));
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 32))]._int = *((int *)(*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 28))]._void_star);
}
}
void _2_fib_fib_split_27(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$sp)[0] + 1)->_void_star = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 8))]._void_star;
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 16))]._int = *((int *)((void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 12)))));
}
}
void _2_fib_fib_split_12(char (*_1_fib_$locals)[40] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 12))]._void_star = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 8))]._void_star;
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 20))]._void_star = (void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 16)));
}
}
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;
}
}
void _2_fib_fib_split_1(char (*_1_fib_$locals)[40] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  switch (*((int *)(*_1_fib_$pc)[0])) {
  case 1: 
  printf(*((char const   * __restrict  *)(*_1_fib_$locals + 24)), *((int *)(*_1_fib_$locals + 32)),
         *((int *)(*_1_fib_$locals + 36)));
  break;
  }
}
}
void _2_fib_fib_split_9(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$pc)[0] += 36;
}
}
void _2_fib_fib_split_14(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 32))]._void_star = (void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 36)));
  ((*_1_fib_$sp)[0] + 1)->_void_star = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 40))]._void_star;
}
}
void _2_fib_fib_split_45(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$pc)[0] += 44;
}
}
void _2_fib_fib_split_2(union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  if ((*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 16))]._int) {
    (*_1_fib_$pc)[0] += *((int *)((*_1_fib_$pc)[0] + 20));
  } else {
    (*_1_fib_$pc)[0] += 24;
  }
}
}
void _2_fib_fib_split_21(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$pc)[0] += 4;
}
}
void megaInit(void) 
{ 


  {

}
}
void _2_fib_fib_split_10(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$pc)[0]) ++;
}
}
void _2_fib_fib_split_54(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$pc)[0] += 8;
}
}
void _2_fib_fib_split_26(char (*_1_fib_$locals)[40] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)(*_1_fib_$pc)[0])]._void_star = (void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 4)));
}
}
void _2_fib_fib_split_23(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 4))]._void_star = (void *)(*_1_fib_$locals + *((int *)(*_1_fib_$pc)[0]));
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 8))]._int = *((int *)(*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 12))]._void_star);
  ((*_1_fib_$sp)[0] + 1)->_int = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 16))]._int;
  ((*_1_fib_$sp)[0]) ++;
}
}
void _2_fib_fib_split_37(union _1_fib_$node *(*_1_fib_$sp)[1] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$sp)[0] + 0)->_int = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 36))]._int;
}
}
void _2_fib_fib_split_47(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$pc)[0] += *((int *)(*_1_fib_$pc)[0]);
}
}
void _2_fib_fib_split_31(union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)(*_1_fib_$pc)[0])]._int = *((int *)(*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 4))]._void_star);
}
}
void _2_fib_fib_split_50(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  *((int *)((*_1_fib_$sp)[0] + 0)->_void_star) = (*_1_fib_$regs)[0][*((int *)(*_1_fib_$pc)[0])]._int;
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 4))]._void_star = (void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 8)));
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 20))]._void_star = (void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 16)));
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 24))]._int = *((int *)(*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 28))]._void_star);
}
}
void _2_fib_fib_split_52(union _1_fib_$node *(*_1_fib_$sp)[1] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$sp)[0]) ++;
  (*_1_fib_$pc)[0] += 52;
}
}
void _2_fib_fib_split_29(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$pc)[0] += 48;
}
}
void _2_fib_fib_split_17(union _1_fib_$node *(*_1_fib_$sp)[1] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)(*_1_fib_$pc)[0])]._int = *((int *)((*_1_fib_$pc)[0] + 4));
  *((int *)((*_1_fib_$sp)[0] + 0)->_void_star) = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 8))]._int;
}
}
void _2_fib_fib_split_7(char (*_1_fib_$locals)[40] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                        unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 12))]._void_star = (void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 16)));
}
}
void _2_fib_fib_split_22(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$pc)[0]) ++;
}
}
void _2_fib_fib_split_44(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 32))]._void_star = (void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 36)));
  ((*_1_fib_$sp)[0] + 1)->_void_star = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 40))]._void_star;
  ((*_1_fib_$sp)[0]) ++;
}
}
void _2_fib_fib_split_20(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$pc)[0]) ++;
}
}
void _2_fib_fib_split_49(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$pc)[0]) ++;
}
}
void _2_fib_fib_split_18(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 12))]._void_star = (void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 16)));
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 24))]._int = *((int *)((*_1_fib_$pc)[0] + 28));
  *((int *)(*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 20))]._void_star) = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 32))]._int;
  ((*_1_fib_$sp)[0]) --;
}
}
void _2_fib_fib_split_51(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  *((int *)(*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 12))]._void_star) = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 32))]._int;
  ((*_1_fib_$sp)[0] + 0)->_void_star = (void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 36)));
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 40))]._void_star = (void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 44)));
  ((*_1_fib_$sp)[0] + 1)->_void_star = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 48))]._void_star;
}
}
void _2_fib_fib_split_46(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$pc)[0]) ++;
}
}
void _2_fib_fib_split_16(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$pc)[0]) ++;
}
}
void _2_fib_fib_split_15(union _1_fib_$node *(*_1_fib_$sp)[1] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$sp)[0]) ++;
  (*_1_fib_$pc)[0] += 44;
}
}
void _2_fib_fib_split_53(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$pc)[0]) ++;
}
}
void _2_fib_fib_split_19(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$pc)[0] += 36;
}
}
void _2_fib_fib_split_28(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 24))]._void_star = (void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 28)));
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 36))]._int = *((int *)(*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 32))]._void_star);
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 44))]._int = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 20))]._int + (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 40))]._int;
  ((*_1_fib_$sp)[0]) ++;
}
}
void _2_fib_fib_split_48(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$pc)[0]) ++;
}
}
void _2_fib_fib_split_43(char (*_1_fib_$locals)[40] , union _1_fib_$node (*_1_fib_$regs)[1][5] ,
                         unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 24))]._int = *((int *)((*_1_fib_$pc)[0] + 20));
  *((int *)((void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 16))))) = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 28))]._int;
}
}
void _2_fib_fib_split_13(union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  *((void **)(*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 24))]._void_star) = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 28))]._void_star;
}
}
void _2_fib_fib_split_4(union _1_fib_$node (*_1_fib_$stack)[1][32] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                        unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$sp)[0] = (*_1_fib_$stack)[0];
  (*_1_fib_$pc)[0] = _1_fib_$array[0];
}
}
void _2_fib_fib_split_25(unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  ((*_1_fib_$pc)[0]) ++;
}
}
void _2_fib_fib_split_35(char (*_1_fib_$locals)[40] , union _1_fib_$node *(*_1_fib_$sp)[1] ,
                         union _1_fib_$node (*_1_fib_$regs)[1][5] , unsigned char *(*_1_fib_$pc)[1] ) 
{ 


  {
  (*_1_fib_$regs)[0][*((int *)(*_1_fib_$pc)[0])]._int = *((int *)((*_1_fib_$sp)[0] + 0)->_void_star);
  *((int *)((*_1_fib_$sp)[0] + -1)->_void_star) = (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 4))]._int;
  (*_1_fib_$regs)[0][*((int *)((*_1_fib_$pc)[0] + 8))]._void_star = (void *)(*_1_fib_$locals + *((int *)((*_1_fib_$pc)[0] + 12)));
}
}
__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);
  }
}
}