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

struct __sFILEX;
enum _3_fib_$op;
struct _3_fib_$keyValueStruct;
union _3_fib_$node;
struct __sFILE;
struct __sbuf;
struct timeval;
extern int pthread_cond_signal(int *cond ) ;
extern void exit(int status ) ;
typedef long long __int64_t;
extern int fclose(void *stream ) ;
extern int fseek(struct __sFILE *stream , long offs , int whence ) ;
void *_3_fib_$devNull  =    0;
extern int close(int filedes ) ;
typedef struct __sFILE FILE;
extern int __swbuf(int  , FILE * ) ;
extern int pthread_create(void *thread , void *attr , void *start_routine , void *arg ) ;
char **_global_argv  =    (char **)0;
extern void *dlsym(void *handle , char *symbol ) ;
extern int unlink(char const   *filename ) ;
extern int fcntl(int filedes , int cmd  , ...) ;
extern int pthread_mutex_lock(int *mutex ) ;
struct timeval {
   long tv_sec ;
   int tv_usec ;
};
extern int pthread_cond_init(int *cond , int *attr ) ;
extern unsigned long strtoul(char const   *str , char const   *endptr , int base ) ;
typedef __int64_t __darwin_off_t;
extern int raise(int sig ) ;
long _1alwaysZero  =    0;
extern void abort() ;
extern int atoi(char const   *s ) ;
struct _3_fib_$keyValueStruct {
   unsigned char _3_fib_$key ;
   void *_3_fib_$value ;
};
void fac(int n ) ;
extern void *malloc(unsigned long size ) ;
extern double ceil(double x ) ;
extern int getpagesize() ;
extern int posix_memalign(void **memptr , unsigned long alignment , unsigned long size ) ;
extern int pthread_cond_broadcast(int *cond ) ;
extern int pthread_join(void *thread , void **value_ptr ) ;
extern int rand() ;
extern void free(void *ptr ) ;
extern unsigned long strlen(char const   *s ) ;
int main(int argc , char **argv , char **_formal_envp ) ;
extern long write(int filedes , void *buf , unsigned long nbyte ) ;
union _3_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 ;
};
extern long strtol(char const   *str , char const   *endptr , int base ) ;
extern int gettimeofday(struct timeval *tv , void *tz ) ;
char const   *_3_fib_$strings  =    "fib(%i)=%i\n\000/dev/null\000a\000collatz n=%li\n\000";
int _global_argc  =    0;
char **_global_envp  =    (char **)0;
void megaInit(void) ;
extern int fscanf(struct __sFILE *stream , char const   *format  , ...) ;
extern int ( /* format attribute */  printf)(char const   * __restrict    , ...) ;
void fib(int n ) ;
extern long clock(void) ;
long _1entropy  =    0;
extern int scanf(char const   *format  , ...) ;
extern void perror(char const   *str ) ;
extern long read(int filedes , void *buf , unsigned long nbyte ) ;
extern int pthread_mutex_unlock(int *mutex ) ;
typedef __darwin_off_t fpos_t;
extern int pthread_cond_wait(int *cond , int *mutex ) ;
extern float strtof(char const   *str , char const   *endptr ) ;
extern int gethostname(char *name , unsigned long namelen ) ;
struct __sbuf {
   unsigned char *_base ;
   int _size ;
};
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 void qsort(void *base , unsigned long nel , unsigned long width , int (*compar)(void *a ,
                                                                                       void *b ) ) ;
extern unsigned long strnlen(char const   *s , unsigned long maxlen ) ;
enum _3_fib_$op {
    _3_fib__Gt_long_int2long$left_STA_0$result_STA_0$right_STA_1 = 40,
    _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1 = 215,
    _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1 = 98,
    _3_fib__PlusA_long_int2long$right_STA_0$result_STA_0$left_STA_1 = 189,
    _3_fib__Mult_int_long2long$left_STA_0$result_STA_0$right_STA_1 = 77,
    _3_fib__store_int$right_STA_0$left_STA_1 = 225,
    _3_fib__local$result_STA_0$value_LIT_0 = 134,
    _3_fib__BXor_long_int2long$left_STA_0$result_STA_0$right_STA_1 = 129,
    _3_fib__Ne_long_long2int$left_STA_0$result_STA_0$right_STA_1 = 144,
    _3_fib__constant_unsigned_long$result_STA_0$value_LIT_0 = 161,
    _3_fib__store_long$left_STA_0$right_STA_1 = 160,
    _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1 = 84,
    _3_fib__PlusA_int_int2int$left_STA_0$result_STA_0$right_STA_1 = 223,
    _3_fib__global$result_STA_0$value_LIT_0 = 137,
    _3_fib__string$result_STA_0$value_LIT_0 = 56,
    _3_fib__Mod_long_int2long$right_STA_0$result_STA_0$left_STA_1 = 97,
    _3_fib__Div_long_int2long$left_STA_0$result_STA_0$right_STA_1 = 47,
    _3_fib__formal$result_STA_0$value_LIT_0 = 191,
    _3_fib__constant_long$result_STA_0$value_LIT_0 = 204,
    _3_fib__load_int$left_STA_0$result_STA_0 = 246,
    _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1 = 199,
    _3_fib__call$func_LIT_0 = 48,
    _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1 = 35,
    _3_fib__Eq_long_int2int$left_STA_0$result_STA_0$right_STA_1 = 169,
    _3_fib__BOr_long_long2long$left_STA_0$result_STA_0$right_STA_1 = 193,
    _3_fib__store_void_star$right_STA_0$left_STA_1 = 136,
    _3_fib__goto$label_LAB_0 = 212,
    _3_fib__branchIfTrue$expr_STA_0$label_LAB_0 = 232,
    _3_fib__constant_int$result_STA_0$value_LIT_0 = 179,
    _3_fib__load_long$left_STA_0$result_STA_0 = 176,
    _3_fib__load_void_star$left_STA_0$result_STA_0 = 172,
    _3_fib__returnVoid$ = 105,
    _3_fib__convert_void_star2void_star$left_STA_0$result_STA_0 = 0,
    _3_fib__Eq_void_star_void_star2int$left_STA_0$result_STA_0$right_STA_1 = 170,
    _3_fib__BAnd_long_int2long$right_STA_0$result_STA_0$left_STA_1 = 62,
    _3_fib__convert_unsigned_long2void_star$left_STA_0$result_STA_0 = 220,
    _3_fib__Shiftrt_long_long2long$right_STA_0$result_STA_0$left_STA_1 = 23,
    _3_fib__Lt_int_int2int$right_STA_0$result_STA_0$left_STA_1 = 13
} ;
unsigned char _3_fib_$array[2][1971]  = { {        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)4,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__store_int$right_STA_0$left_STA_1,        _3_fib__local$result_STA_0$value_LIT_0, 
            (unsigned char)8,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__store_int$right_STA_0$left_STA_1,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)12, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__store_int$right_STA_0$left_STA_1,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)16,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__store_int$right_STA_0$left_STA_1, 
            _3_fib__goto$label_LAB_0,        (unsigned char)4,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)16,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_int$left_STA_0$result_STA_0,        _3_fib__formal$result_STA_0$value_LIT_0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__load_int$left_STA_0$result_STA_0,        _3_fib__Lt_int_int2int$right_STA_0$result_STA_0$left_STA_1,        _3_fib__branchIfTrue$expr_STA_0$label_LAB_0,        (unsigned char)14, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__goto$label_LAB_0, 
            (unsigned char)4,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__goto$label_LAB_0,        (unsigned char)75,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)12,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)8, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__load_int$left_STA_0$result_STA_0, 
            _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)4,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_int$left_STA_0$result_STA_0,        _3_fib__PlusA_int_int2int$left_STA_0$result_STA_0$right_STA_1,        _3_fib__store_int$right_STA_0$left_STA_1, 
            _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)4,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)8,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_int$left_STA_0$result_STA_0,        _3_fib__store_int$right_STA_0$left_STA_1, 
            _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)8,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)12,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_int$left_STA_0$result_STA_0,        _3_fib__store_int$right_STA_0$left_STA_1, 
            _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)16,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)16, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__load_int$left_STA_0$result_STA_0, 
            _3_fib__PlusA_int_int2int$left_STA_0$result_STA_0$right_STA_1,        _3_fib__store_int$right_STA_0$left_STA_1,        _3_fib__goto$label_LAB_0,        (unsigned char)166, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__goto$label_LAB_0, 
            (unsigned char)161,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)24,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__string$result_STA_0$value_LIT_0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__convert_void_star2void_star$left_STA_0$result_STA_0,        _3_fib__store_void_star$right_STA_0$left_STA_1, 
            _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)32,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__formal$result_STA_0$value_LIT_0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_int$left_STA_0$result_STA_0,        _3_fib__store_int$right_STA_0$left_STA_1, 
            _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)36,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)12,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_int$left_STA_0$result_STA_0,        _3_fib__store_int$right_STA_0$left_STA_1, 
            _3_fib__call$func_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__goto$label_LAB_0,        (unsigned char)4,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__returnVoid$}, {        _3_fib__constant_unsigned_long$result_STA_0$value_LIT_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,        _3_fib__convert_unsigned_long2void_star$left_STA_0$result_STA_0,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__load_void_star$left_STA_0$result_STA_0, 
            _3_fib__Eq_void_star_void_star2int$left_STA_0$result_STA_0$right_STA_1,        _3_fib__branchIfTrue$expr_STA_0$label_LAB_0,        (unsigned char)9,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__goto$label_LAB_0,        (unsigned char)48, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__local$result_STA_0$value_LIT_0, 
            (unsigned char)40,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__string$result_STA_0$value_LIT_0,        (unsigned char)12,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__store_void_star$right_STA_0$left_STA_1,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)48, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__string$result_STA_0$value_LIT_0, 
            (unsigned char)22,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__store_void_star$right_STA_0$left_STA_1,        _3_fib__call$func_LIT_0,        (unsigned char)2,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__local$result_STA_0$value_LIT_0, 
            (unsigned char)56,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__load_void_star$left_STA_0$result_STA_0,        _3_fib__store_void_star$right_STA_0$left_STA_1,        _3_fib__goto$label_LAB_0,        (unsigned char)9, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__goto$label_LAB_0, 
            (unsigned char)4,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0, 
            _3_fib__BXor_long_int2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)63, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__Shiftrt_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__BOr_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__BXor_long_int2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0, 
            (unsigned char)1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)63,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__Shiftrt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)10,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__BOr_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__BXor_long_int2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0, 
            (unsigned char)1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)63,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__Shiftrt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)10,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__BOr_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)249,        (unsigned char)2, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__Mod_long_int2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_int2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__BXor_long_int2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0, 
            (unsigned char)1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)63,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__Shiftrt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)10,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__BOr_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__constant_long$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)10,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)10,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__BXor_long_int2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0, 
            _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)63,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__Shiftrt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__global$result_STA_0$value_LIT_0, 
            (unsigned char)1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__BOr_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__constant_long$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)10,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)10,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__BXor_long_int2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0, 
            _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)63,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__Shiftrt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__global$result_STA_0$value_LIT_0, 
            (unsigned char)1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__BOr_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)249,        (unsigned char)2,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__Mod_long_int2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__BAnd_long_int2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__BXor_long_int2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0, 
            (unsigned char)1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)63,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__Shiftrt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)10,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__BOr_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__constant_long$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)10,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)10,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__BXor_long_int2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0, 
            _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)63,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__Shiftrt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__global$result_STA_0$value_LIT_0, 
            (unsigned char)1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__BOr_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__constant_long$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)10,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)10,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__BXor_long_int2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0, 
            _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)63,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__Shiftrt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_0,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        _3_fib__global$result_STA_0$value_LIT_0, 
            (unsigned char)1,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__BOr_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)255,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)10,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_long$result_STA_0$value_LIT_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, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)249,        (unsigned char)2,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__Mod_long_int2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__BAnd_long_int2long$right_STA_0$result_STA_0$left_STA_1, 
            _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)64, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__store_long$left_STA_0$right_STA_1, 
            _3_fib__goto$label_LAB_0,        (unsigned char)4,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__constant_long$result_STA_0$value_LIT_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,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)1, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__local$result_STA_0$value_LIT_0, 
            (unsigned char)64,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__Gt_long_int2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__Ne_long_long2int$left_STA_0$result_STA_0$right_STA_1,        _3_fib__branchIfTrue$expr_STA_0$label_LAB_0, 
            (unsigned char)9,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__goto$label_LAB_0,        (unsigned char)9,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__goto$label_LAB_0,        (unsigned char)9,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__goto$label_LAB_0,        (unsigned char)217, 
            (unsigned char)248,        (unsigned char)255,        (unsigned char)255,        _3_fib__local$result_STA_0$value_LIT_0, 
            (unsigned char)72,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__global$result_STA_0$value_LIT_0,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_void_star$left_STA_0$result_STA_0,        _3_fib__store_void_star$right_STA_0$left_STA_1,        _3_fib__local$result_STA_0$value_LIT_0, 
            (unsigned char)80,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__string$result_STA_0$value_LIT_0,        (unsigned char)24,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__store_void_star$right_STA_0$left_STA_1,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)64, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0, 
            _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)88,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__store_long$left_STA_0$right_STA_1,        _3_fib__call$func_LIT_0,        (unsigned char)3, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__goto$label_LAB_0, 
            (unsigned char)4,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)64,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0, 
            (unsigned char)2,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__Mod_long_int2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__Eq_long_int2int$left_STA_0$result_STA_0$right_STA_1,        _3_fib__branchIfTrue$expr_STA_0$label_LAB_0,        (unsigned char)9, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__goto$label_LAB_0, 
            (unsigned char)33,        (unsigned char)0,        (unsigned char)0,        (unsigned char)0, 
            _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)64,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)3, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__Mult_int_long2long$left_STA_0$result_STA_0$right_STA_1, 
            _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)1,        (unsigned char)0,        (unsigned char)0, 
            (unsigned char)0,        _3_fib__PlusA_long_int2long$right_STA_0$result_STA_0$left_STA_1,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)64, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__store_long$left_STA_0$right_STA_1, 
            _3_fib__goto$label_LAB_0,        (unsigned char)116,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _3_fib__constant_int$result_STA_0$value_LIT_0,        (unsigned char)2,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)64, 
            (unsigned char)0,        (unsigned char)0,        (unsigned char)0,        _3_fib__load_long$left_STA_0$result_STA_0, 
            _3_fib__Div_long_int2long$left_STA_0$result_STA_0$right_STA_1,        _3_fib__local$result_STA_0$value_LIT_0,        (unsigned char)64,        (unsigned char)0, 
            (unsigned char)0,        (unsigned char)0,        _3_fib__store_long$left_STA_0$right_STA_1,        _3_fib__goto$label_LAB_0, 
            (unsigned char)93,        (unsigned char)255,        (unsigned char)255,        (unsigned char)255, 
            _3_fib__goto$label_LAB_0,        (unsigned char)88,        (unsigned char)255,        (unsigned char)255, 
            (unsigned char)255,        _3_fib__goto$label_LAB_0,        (unsigned char)82,        (unsigned char)248, 
            (unsigned char)255,        (unsigned char)255,        _3_fib__returnVoid$}};
extern double strtod(char const   *str , char const   *endptr ) ;
extern int pthread_mutex_init(int *mutex , int *attr ) ;
extern int strcmp(char const   *a , char const   *b ) ;
extern void *fopen(char const   *filename , char const   *mode ) ;
extern double difftime(long tv1 , long tv0 ) ;
extern void signal(int sig , void *func ) ;
extern long time(long *tloc ) ;
__inline int ( __attribute__((__always_inline__)) __sputc)(int _c , FILE *_p ) ;
extern int fprintf(struct __sFILE *stream , char const   *format  , ...) ;
extern int strncmp(char const   *s1 , char const   *s2 , unsigned long maxlen ) ;
extern double sqrt(double x ) ;
extern int open(char const   *filename , int oflag  , ...) ;
extern double log(double x ) ;
extern int snprintf(char *str , unsigned long size , char const   *format  , ...) ;
extern void *memcpy(void *s1 , void const   *s2 , unsigned long size ) ;
void megaInit(void) 
{ 


  {

}
}
__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);
  }
}
}
void fib(int n ) 
{ 
  char _3_fib_$locals[96] ;
  int _3_fib__alwaysOne ;
  register int _3_fib_$select ;
  union _3_fib_$node _3_fib_$stack[2][32] ;
  union _3_fib_$node *_3_fib_$sp[2] ;
  unsigned char *_3_fib_$pc[2] ;
  struct _3_fib_$keyValueStruct _3_fib_$jumpTab[38]  = {{_3_fib__convert_void_star2void_star$left_STA_0$result_STA_0,
                                                         && _3_fib__convert_void_star2void_star$left_STA_0$result_STA_0},
                                                        {_3_fib__Lt_int_int2int$right_STA_0$result_STA_0$left_STA_1,
                                                         && _3_fib__Lt_int_int2int$right_STA_0$result_STA_0$left_STA_1},
                                                        {_3_fib__Shiftrt_long_long2long$right_STA_0$result_STA_0$left_STA_1,
                                                         && _3_fib__Shiftrt_long_long2long$right_STA_0$result_STA_0$left_STA_1},
                                                        {_3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1,
                                                         && _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1},
                                                        {_3_fib__Gt_long_int2long$left_STA_0$result_STA_0$right_STA_1,
                                                         && _3_fib__Gt_long_int2long$left_STA_0$result_STA_0$right_STA_1},
                                                        {_3_fib__Div_long_int2long$left_STA_0$result_STA_0$right_STA_1,
                                                         && _3_fib__Div_long_int2long$left_STA_0$result_STA_0$right_STA_1},
                                                        {_3_fib__call$func_LIT_0,
                                                         && _3_fib__call$func_LIT_0},
                                                        {_3_fib__string$result_STA_0$value_LIT_0,
                                                         && _3_fib__string$result_STA_0$value_LIT_0},
                                                        {_3_fib__BAnd_long_int2long$right_STA_0$result_STA_0$left_STA_1,
                                                         && _3_fib__BAnd_long_int2long$right_STA_0$result_STA_0$left_STA_1},
                                                        {_3_fib__Mult_int_long2long$left_STA_0$result_STA_0$right_STA_1,
                                                         && _3_fib__Mult_int_long2long$left_STA_0$result_STA_0$right_STA_1},
                                                        {_3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1,
                                                         && _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1},
                                                        {_3_fib__Mod_long_int2long$right_STA_0$result_STA_0$left_STA_1,
                                                         && _3_fib__Mod_long_int2long$right_STA_0$result_STA_0$left_STA_1},
                                                        {_3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1,
                                                         && _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1},
                                                        {_3_fib__returnVoid$, && _3_fib__returnVoid$},
                                                        {_3_fib__BXor_long_int2long$left_STA_0$result_STA_0$right_STA_1,
                                                         && _3_fib__BXor_long_int2long$left_STA_0$result_STA_0$right_STA_1},
                                                        {_3_fib__local$result_STA_0$value_LIT_0,
                                                         && _3_fib__local$result_STA_0$value_LIT_0},
                                                        {_3_fib__store_void_star$right_STA_0$left_STA_1,
                                                         && _3_fib__store_void_star$right_STA_0$left_STA_1},
                                                        {_3_fib__global$result_STA_0$value_LIT_0,
                                                         && _3_fib__global$result_STA_0$value_LIT_0},
                                                        {_3_fib__Ne_long_long2int$left_STA_0$result_STA_0$right_STA_1,
                                                         && _3_fib__Ne_long_long2int$left_STA_0$result_STA_0$right_STA_1},
                                                        {_3_fib__store_long$left_STA_0$right_STA_1,
                                                         && _3_fib__store_long$left_STA_0$right_STA_1},
                                                        {_3_fib__constant_unsigned_long$result_STA_0$value_LIT_0,
                                                         && _3_fib__constant_unsigned_long$result_STA_0$value_LIT_0},
                                                        {_3_fib__Eq_long_int2int$left_STA_0$result_STA_0$right_STA_1,
                                                         && _3_fib__Eq_long_int2int$left_STA_0$result_STA_0$right_STA_1},
                                                        {_3_fib__Eq_void_star_void_star2int$left_STA_0$result_STA_0$right_STA_1,
                                                         && _3_fib__Eq_void_star_void_star2int$left_STA_0$result_STA_0$right_STA_1},
                                                        {_3_fib__load_void_star$left_STA_0$result_STA_0,
                                                         && _3_fib__load_void_star$left_STA_0$result_STA_0},
                                                        {_3_fib__load_long$left_STA_0$result_STA_0,
                                                         && _3_fib__load_long$left_STA_0$result_STA_0},
                                                        {_3_fib__constant_int$result_STA_0$value_LIT_0,
                                                         && _3_fib__constant_int$result_STA_0$value_LIT_0},
                                                        {_3_fib__PlusA_long_int2long$right_STA_0$result_STA_0$left_STA_1,
                                                         && _3_fib__PlusA_long_int2long$right_STA_0$result_STA_0$left_STA_1},
                                                        {_3_fib__formal$result_STA_0$value_LIT_0,
                                                         && _3_fib__formal$result_STA_0$value_LIT_0},
                                                        {_3_fib__BOr_long_long2long$left_STA_0$result_STA_0$right_STA_1,
                                                         && _3_fib__BOr_long_long2long$left_STA_0$result_STA_0$right_STA_1},
                                                        {_3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1,
                                                         && _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1},
                                                        {_3_fib__constant_long$result_STA_0$value_LIT_0,
                                                         && _3_fib__constant_long$result_STA_0$value_LIT_0},
                                                        {_3_fib__goto$label_LAB_0,
                                                         && _3_fib__goto$label_LAB_0},
                                                        {_3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1,
                                                         && _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1},
                                                        {_3_fib__convert_unsigned_long2void_star$left_STA_0$result_STA_0,
                                                         && _3_fib__convert_unsigned_long2void_star$left_STA_0$result_STA_0},
                                                        {_3_fib__PlusA_int_int2int$left_STA_0$result_STA_0$right_STA_1,
                                                         && _3_fib__PlusA_int_int2int$left_STA_0$result_STA_0$right_STA_1},
                                                        {_3_fib__store_int$right_STA_0$left_STA_1,
                                                         && _3_fib__store_int$right_STA_0$left_STA_1},
                                                        {_3_fib__branchIfTrue$expr_STA_0$label_LAB_0,
                                                         && _3_fib__branchIfTrue$expr_STA_0$label_LAB_0},
                                                        {_3_fib__load_int$left_STA_0$result_STA_0,
                                                         && _3_fib__load_int$left_STA_0$result_STA_0}};
  unsigned char _3_fib_$currentOp ;
  int _3_fib_$imin ;
  int _3_fib_$imax ;
  int _3_fib_$imid ;
  long randomFuns_n28 ;
  int randomFuns_body_i29 ;

  {
  _3_fib__alwaysOne = 1;
  _3_fib_$select = 0 >= 2 ? 0 - 2 : 0;
  _3_fib_$sp[_3_fib_$select] = _3_fib_$stack[_3_fib_$select];
  _3_fib_$select = 1 >= 2 ? 1 - 2 : 1;
  _3_fib_$sp[_3_fib_$select] = _3_fib_$stack[_3_fib_$select];
  _3_fib_$select = 0 % 2;
  _3_fib_$pc[_3_fib_$select] = _3_fib_$array[_3_fib_$select];
  _3_fib_$select = 1 % 2;
  _3_fib_$pc[_3_fib_$select] = _3_fib_$array[_3_fib_$select];
  _3_fib_$select = 0 % 2;
  _topOfLoop: /* CIL Label */ ;
  randomFuns_body_i29 = 0;
  while (randomFuns_body_i29 < 10) {
    randomFuns_n28 = ((((((_1entropy + 1) + 1L) + ((- _1entropy - 1L) | (- 1 - 1L))) + ~ (((~ (((_1entropy & ~ 1) + 1) << 1L) | ((((_1entropy + 1) + 1L) + ((- _1entropy - 1L) | (- 1 - 1L))) >> 63L)) + (((_1entropy & ~ 1) + 1) << 1L)) + 1L)) + 1L) % 863 | 1) + ((((((_1entropy + 1) + 1L) + ((- _1entropy - 1L) | (- 1 - 1L))) + ~ (((~ (((_1entropy & ~ 1) + 1) << 1L) | ((((_1entropy + 1) + 1L) + ((- _1entropy - 1L) | (- 1 - 1L))) >> 63L)) + (((_1entropy & ~ 1) + 1) << 1L)) + 1L)) + 1L) % 863 & 1);
    while (randomFuns_n28 > 1) {
      if (randomFuns_n28 % 2 == 1) {
        randomFuns_n28 = 3 * randomFuns_n28 + 1;
      } else {
        randomFuns_n28 /= 2;
      }
      _3_fib__alwaysOne = randomFuns_n28;
    }
    randomFuns_body_i29 ++;
  }
  _3_fib_$select = (_3_fib_$select + _3_fib__alwaysOne) % 2;
  _3_fib_$currentOp = *(_3_fib_$pc[_3_fib_$select]);
  _3_fib_$imin = 0;
  _3_fib_$imax = 37;
  while (_3_fib_$imax >= _3_fib_$imin) {
    _3_fib_$imid = _3_fib_$imin + ((_3_fib_$currentOp - _3_fib_$jumpTab[_3_fib_$imin]._3_fib_$key) * (_3_fib_$imax - _3_fib_$imin)) / (_3_fib_$jumpTab[_3_fib_$imax]._3_fib_$key - _3_fib_$jumpTab[_3_fib_$imin]._3_fib_$key);
    if (_3_fib_$jumpTab[_3_fib_$imid]._3_fib_$key < _3_fib_$currentOp) {
      _3_fib_$imin = _3_fib_$imid + 1;
    } else
    if (_3_fib_$jumpTab[_3_fib_$imid]._3_fib_$key > _3_fib_$currentOp) {
      _3_fib_$imax = _3_fib_$imid - 1;
    } else {
      _3_fib_$imax = -1;
    }
  }
  goto *(_3_fib_$jumpTab[_3_fib_$imid]._3_fib_$value);
  _3_fib__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_long = (_3_fib_$sp[_3_fib_$select] + 0)->_long - (_3_fib_$sp[_3_fib_$select] + -1)->_long;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__Lt_int_int2int$right_STA_0$result_STA_0$left_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_int = (_3_fib_$sp[_3_fib_$select] + -1)->_int < (_3_fib_$sp[_3_fib_$select] + 0)->_int;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__PlusA_long_int2long$right_STA_0$result_STA_0$left_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_long = (_3_fib_$sp[_3_fib_$select] + -1)->_long + (_3_fib_$sp[_3_fib_$select] + 0)->_int;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__BXor_long_long2long$left_STA_0$result_STA_0$right_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_long = (_3_fib_$sp[_3_fib_$select] + 0)->_long ^ (_3_fib_$sp[_3_fib_$select] + -1)->_long;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__BAnd_long_long2long$left_STA_0$result_STA_0$right_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_long = (_3_fib_$sp[_3_fib_$select] + 0)->_long & (_3_fib_$sp[_3_fib_$select] + -1)->_long;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__store_int$right_STA_0$left_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  *((int *)(_3_fib_$sp[_3_fib_$select] + -1)->_void_star) = (_3_fib_$sp[_3_fib_$select] + 0)->_int;
  _3_fib_$sp[_3_fib_$select] += -2;
  goto _topOfLoop;
  _3_fib__BAnd_long_int2long$right_STA_0$result_STA_0$left_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_long = (_3_fib_$sp[_3_fib_$select] + -1)->_long & (_3_fib_$sp[_3_fib_$select] + 0)->_int;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__BXor_long_int2long$left_STA_0$result_STA_0$right_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_long = (_3_fib_$sp[_3_fib_$select] + 0)->_long ^ (_3_fib_$sp[_3_fib_$select] + -1)->_int;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__formal$result_STA_0$value_LIT_0: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  switch (*((int *)_3_fib_$pc[_3_fib_$select])) {
  case 0: 
  (_3_fib_$sp[_3_fib_$select] + 1)->_void_star = (void *)(& n);
  break;
  }
  (_3_fib_$sp[_3_fib_$select]) ++;
  _3_fib_$pc[_3_fib_$select] += 4;
  goto _topOfLoop;
  _3_fib__Ne_long_long2int$left_STA_0$result_STA_0$right_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_int = (_3_fib_$sp[_3_fib_$select] + 0)->_long != (_3_fib_$sp[_3_fib_$select] + -1)->_long;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__load_void_star$left_STA_0$result_STA_0: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + 0)->_void_star = *((void **)(_3_fib_$sp[_3_fib_$select] + 0)->_void_star);
  goto _topOfLoop;
  _3_fib__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_long = (_3_fib_$sp[_3_fib_$select] + -1)->_long + (_3_fib_$sp[_3_fib_$select] + 0)->_long;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__goto$label_LAB_0: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  _3_fib_$pc[_3_fib_$select] += *((int *)_3_fib_$pc[_3_fib_$select]);
  goto _topOfLoop;
  _3_fib__convert_unsigned_long2void_star$left_STA_0$result_STA_0: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + 0)->_void_star = (void *)(_3_fib_$sp[_3_fib_$select] + 0)->_unsigned_long;
  goto _topOfLoop;
  _3_fib__load_int$left_STA_0$result_STA_0: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + 0)->_int = *((int *)(_3_fib_$sp[_3_fib_$select] + 0)->_void_star);
  goto _topOfLoop;
  _3_fib__call$func_LIT_0: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  switch (*((int *)_3_fib_$pc[_3_fib_$select])) {
  case 3: 
  fprintf(*((void **)(_3_fib_$locals + 72)), *((char const   **)(_3_fib_$locals + 80)),
          *((long *)(_3_fib_$locals + 88)));
  break;
  case 1: 
  printf(*((char const   * __restrict  *)(_3_fib_$locals + 24)), *((int *)(_3_fib_$locals + 32)),
         *((int *)(_3_fib_$locals + 36)));
  break;
  case 2: 
  *((void **)(_3_fib_$locals + 56)) = fopen(*((char const   **)(_3_fib_$locals + 40)),
                                            *((char const   **)(_3_fib_$locals + 48)));
  break;
  }
  _3_fib_$pc[_3_fib_$select] += 4;
  goto _topOfLoop;
  _3_fib__Gt_long_int2long$left_STA_0$result_STA_0$right_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_long = (_3_fib_$sp[_3_fib_$select] + 0)->_long > (_3_fib_$sp[_3_fib_$select] + -1)->_int;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__constant_long$result_STA_0$value_LIT_0: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + 1)->_long = *((long *)_3_fib_$pc[_3_fib_$select]);
  (_3_fib_$sp[_3_fib_$select]) ++;
  _3_fib_$pc[_3_fib_$select] += 8;
  goto _topOfLoop;
  _3_fib__store_long$left_STA_0$right_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  *((long *)(_3_fib_$sp[_3_fib_$select] + 0)->_void_star) = (_3_fib_$sp[_3_fib_$select] + -1)->_long;
  _3_fib_$sp[_3_fib_$select] += -2;
  goto _topOfLoop;
  _3_fib__constant_unsigned_long$result_STA_0$value_LIT_0: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + 1)->_unsigned_long = *((unsigned long *)_3_fib_$pc[_3_fib_$select]);
  (_3_fib_$sp[_3_fib_$select]) ++;
  _3_fib_$pc[_3_fib_$select] += 8;
  goto _topOfLoop;
  _3_fib__BOr_long_long2long$left_STA_0$result_STA_0$right_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_long = (_3_fib_$sp[_3_fib_$select] + 0)->_long | (_3_fib_$sp[_3_fib_$select] + -1)->_long;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__Eq_long_int2int$left_STA_0$result_STA_0$right_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_int = (_3_fib_$sp[_3_fib_$select] + 0)->_long == (_3_fib_$sp[_3_fib_$select] + -1)->_int;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__constant_int$result_STA_0$value_LIT_0: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + 1)->_int = *((int *)_3_fib_$pc[_3_fib_$select]);
  (_3_fib_$sp[_3_fib_$select]) ++;
  _3_fib_$pc[_3_fib_$select] += 4;
  goto _topOfLoop;
  _3_fib__Div_long_int2long$left_STA_0$result_STA_0$right_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_long = (_3_fib_$sp[_3_fib_$select] + 0)->_long / (_3_fib_$sp[_3_fib_$select] + -1)->_int;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__Eq_void_star_void_star2int$left_STA_0$result_STA_0$right_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_int = (_3_fib_$sp[_3_fib_$select] + 0)->_void_star == (_3_fib_$sp[_3_fib_$select] + -1)->_void_star;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__PlusA_int_int2int$left_STA_0$result_STA_0$right_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_int = (_3_fib_$sp[_3_fib_$select] + 0)->_int + (_3_fib_$sp[_3_fib_$select] + -1)->_int;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__returnVoid$: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  return;
  goto _topOfLoop;
  _3_fib__convert_void_star2void_star$left_STA_0$result_STA_0: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + 0)->_void_star = (_3_fib_$sp[_3_fib_$select] + 0)->_void_star;
  goto _topOfLoop;
  _3_fib__local$result_STA_0$value_LIT_0: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + 1)->_void_star = (void *)(_3_fib_$locals + *((int *)_3_fib_$pc[_3_fib_$select]));
  (_3_fib_$sp[_3_fib_$select]) ++;
  _3_fib_$pc[_3_fib_$select] += 4;
  goto _topOfLoop;
  _3_fib__Mult_int_long2long$left_STA_0$result_STA_0$right_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_long = (_3_fib_$sp[_3_fib_$select] + 0)->_int * (_3_fib_$sp[_3_fib_$select] + -1)->_long;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__Shiftrt_long_long2long$right_STA_0$result_STA_0$left_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_long = (_3_fib_$sp[_3_fib_$select] + -1)->_long >> (_3_fib_$sp[_3_fib_$select] + 0)->_long;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__branchIfTrue$expr_STA_0$label_LAB_0: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  if ((_3_fib_$sp[_3_fib_$select] + 0)->_int) {
    _3_fib_$pc[_3_fib_$select] += *((int *)_3_fib_$pc[_3_fib_$select]);
  } else {
    _3_fib_$pc[_3_fib_$select] += 4;
  }
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__global$result_STA_0$value_LIT_0: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  switch (*((int *)_3_fib_$pc[_3_fib_$select])) {
  case 1: 
  (_3_fib_$sp[_3_fib_$select] + 1)->_void_star = (void *)(& _1entropy);
  break;
  case 0: 
  (_3_fib_$sp[_3_fib_$select] + 1)->_void_star = (void *)(& _3_fib_$devNull);
  break;
  }
  (_3_fib_$sp[_3_fib_$select]) ++;
  _3_fib_$pc[_3_fib_$select] += 4;
  goto _topOfLoop;
  _3_fib__Shiftlt_long_long2long$right_STA_0$result_STA_0$left_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_long = (_3_fib_$sp[_3_fib_$select] + -1)->_long << (_3_fib_$sp[_3_fib_$select] + 0)->_long;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
  _3_fib__load_long$left_STA_0$result_STA_0: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + 0)->_long = *((long *)(_3_fib_$sp[_3_fib_$select] + 0)->_void_star);
  goto _topOfLoop;
  _3_fib__store_void_star$right_STA_0$left_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  *((void **)(_3_fib_$sp[_3_fib_$select] + -1)->_void_star) = (_3_fib_$sp[_3_fib_$select] + 0)->_void_star;
  _3_fib_$sp[_3_fib_$select] += -2;
  goto _topOfLoop;
  _3_fib__string$result_STA_0$value_LIT_0: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + 1)->_void_star = (void *)(_3_fib_$strings + *((int *)_3_fib_$pc[_3_fib_$select]));
  (_3_fib_$sp[_3_fib_$select]) ++;
  _3_fib_$pc[_3_fib_$select] += 4;
  goto _topOfLoop;
  _3_fib__Mod_long_int2long$right_STA_0$result_STA_0$left_STA_1: /* CIL Label */ ;
  _3_fib_$pc[_3_fib_$select] += _3_fib__alwaysOne;
  (_3_fib_$sp[_3_fib_$select] + -1)->_long = (_3_fib_$sp[_3_fib_$select] + -1)->_long % (_3_fib_$sp[_3_fib_$select] + 0)->_int;
  (_3_fib_$sp[_3_fib_$select]) --;
  goto _topOfLoop;
}
}
void fac(int n ) 
{ 
  int s ;
  int i ;
  long one4 ;
  long randomFuns_n5 ;

  {
  _1entropy = (long )n + _1entropy;
  randomFuns_n5 = (_1entropy - ((_1entropy + _1entropy) & (_1entropy >> 63L))) + 8;
  while (randomFuns_n5 > 1) {
    if (randomFuns_n5 % 2 == 1) {
      randomFuns_n5 = 3 * randomFuns_n5 + 1;
    } else {
      randomFuns_n5 /= 2;
    }
    one4 = randomFuns_n5;
  }
  _1alwaysZero = (one4 & ~ 1) - (~ one4 & 1);
  s = 1;
  i = 2;
  while (i <= n) {
    s *= i;
    i ++;
  }
  printf((char const   */* __restrict  */)"fac(%i)=%i\n", n, s);
  return;
}
}
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);
}
}
