/* Generated by CIL v. 1.7.0 */ /* print_CIL_Input is false */ struct __sFILEX; enum _v2_1_fib_$op; struct __sFILE; struct __sFILEX; struct __sbuf; union _v1_1_fib_$node; union _v2_1_fib_$node; struct timespec; struct timeval; extern int pthread_cond_signal(int *cond ) ; extern void exit(int status ) ; void v2_global_v1argc_i$nit(void) ; typedef long long __int64_t; extern int fclose(void *stream ) ; extern int fseek(struct __sFILE *stream , long offs , int whence ) ; 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 ) ; extern void *dlsym(void *handle , char *symbol ) ; char **_global_v1argv ; extern int unlink(char const *filename ) ; extern int fcntl(int filedes , int cmd , ...) ; void v2_global_v1envp_i$nit(void) ; extern int pthread_mutex_lock(int *mutex ) ; struct timeval { long tv_sec ; int tv_usec ; }; extern unsigned long strtoul(char const *str , char const *endptr , int base ) ; typedef __int64_t __darwin_off_t; extern int pthread_cond_init(int *cond , int *attr ) ; extern int raise(int sig ) ; void v2_global_v1argv_i$nit(void) ; extern void abort() ; extern int atoi(char const *s ) ; void fac(int n ) ; void v1megaInit(void) ; extern void *malloc(unsigned long size ) ; enum _v2_1_fib_$op { _v2_1_fib__global$result_STA_0$value_LIT_0 = 214, _v2_1_fib__constant_int$result_STA_0$value_LIT_0 = 82, _v2_1_fib__constant_void_star$result_STA_0$value_LIT_0 = 111, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0 = 36, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0 = 95, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1 = 217, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0 = 137, _v2_1_fib__goto$label_LAB_0 = 203, _v2_1_fib__Lt_int_int2int$right_STA_0$result_STA_0$left_STA_1 = 211, _v2_1_fib__call$func_LIT_0 = 55, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0 = 19, _v2_1_fib__store_unsigned_char$left_STA_0$right_STA_1 = 176, _v2_1_fib__local$result_STA_0$value_LIT_0 = 146, _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0 = 220, _v2_1_fib__load_int$left_STA_0$result_STA_0 = 20, _v2_1_fib__load_void_star$left_STA_0$result_STA_0 = 226, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1 = 40, _v2_1_fib__formal$result_STA_0$value_LIT_0 = 237, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0 = 35, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1 = 21, _v2_1_fib__store_void_star$left_STA_0$right_STA_1 = 240, _v2_1_fib__PlusA_int_int2int$left_STA_0$result_STA_0$right_STA_1 = 2, _v2_1_fib__returnVoid$ = 181, _v2_1_fib__MinusPI_void_star_unsigned_long2void_star$left_STA_0$result_STA_0$right_STA_1 = 193, _v2_1_fib__switch$expr_STA_0$default_LAB_0$max_LIT_1$min_LIT_2$jumpTab_LABLST_3 = 159, _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1 = 24, _v2_1_fib__store_int$right_STA_0$left_STA_1 = 16 } ; extern double ceil(double x ) ; extern int getpagesize() ; extern int posix_memalign(void **memptr , unsigned long alignment , unsigned long size ) ; char **_global_v2argv = (char **)0; extern int pthread_cond_broadcast(int *cond ) ; extern int pthread_join(void *thread , void **value_ptr ) ; void v2_v1_1_fib_$array_i$nit(void) ; extern int rand() ; extern int pthread_barrier_destroy(int *barrier ) ; unsigned char _v1_1_fib_$array[1][195] ; extern void free(void *ptr ) ; union _v1_1_fib_$node { void *_void_star ; unsigned long long _unsigned_long_long ; long long _long_long ; unsigned long _unsigned_long ; long _long ; unsigned short _unsigned_short ; short _short ; unsigned int _unsigned_int ; int _int ; unsigned char _unsigned_char ; signed char _signed_char ; char _char ; }; extern unsigned long strlen(char const *s ) ; extern int ptrace(int request , void *pid , void *addr , int data ) ; char const *_v2_1_fib_$strings = ""; int main(int argc , char **argv , char **_formal_v1envp ) ; extern long write(int filedes , void *buf , unsigned long nbyte ) ; typedef long __darwin_time_t; struct timespec { __darwin_time_t tv_sec ; long tv_nsec ; }; extern long strtol(char const *str , char const *endptr , int base ) ; extern int gettimeofday(struct timeval *tv , void *tz ) ; char **_global_v1envp ; int _global_v1argc ; extern int fscanf(struct __sFILE *stream , char const *format , ...) ; extern int printf(char const * __restrict , ...) ; void fib(int n ) ; extern long clock(void) ; extern int scanf(char const *format , ...) ; extern void perror(char const *str ) ; extern int mprotect(void *addr , unsigned long len , int prot ) ; extern int pthread_barrier_init(int *barrier , int *attr , unsigned int count ) ; extern int nanosleep(struct timespec const *__rqtp , struct timespec *__rmtp ) __asm__("_nanosleep") ; 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 ) ; extern double strtod(char const *str , char const *endptr ) ; extern int pthread_mutex_init(int *mutex , int *attr ) ; char **_global_v2envp = (char **)0; int _global_v2argc = 0; 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 ) ; void v2_v1_1_fib_$strings_i$nit(void) ; __inline int ( __attribute__((__always_inline__)) __sputc)(int _c , FILE *_p ) ; union _v2_1_fib_$node { void *_void_star ; unsigned long long _unsigned_long_long ; long long _long_long ; unsigned long _unsigned_long ; long _long ; unsigned short _unsigned_short ; short _short ; unsigned int _unsigned_int ; int _int ; unsigned char _unsigned_char ; signed char _signed_char ; char _char ; }; extern int fprintf(struct __sFILE *stream , char const *format , ...) ; unsigned char _v2_1_fib_$array[1][5338] = { { _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__global$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)195, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_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, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__store_unsigned_char$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)226, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0, _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0, _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)9, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)142, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)255, (unsigned char)255, (unsigned char)255, (unsigned char)255, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)255, (unsigned char)255, (unsigned char)255, (unsigned char)255, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__PlusA_int_int2int$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__store_int$right_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__MinusPI_void_star_unsigned_long2void_star$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)51, (unsigned char)254, (unsigned char)255, (unsigned char)255, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)203, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0, _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0, _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)9, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)220, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)68, (unsigned char)253, (unsigned char)255, (unsigned char)255, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)35, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0, _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0, _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)9, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)73, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)255, (unsigned char)255, (unsigned char)255, (unsigned char)255, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)254, (unsigned char)255, (unsigned char)255, (unsigned char)255, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)232, (unsigned char)251, (unsigned char)255, (unsigned char)255, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)111, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0, _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0, _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)9, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)238, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)231, (unsigned char)250, (unsigned char)255, (unsigned char)255, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)21, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0, _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0, _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)9, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)240, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__store_int$right_STA_0$left_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)228, (unsigned char)249, (unsigned char)255, (unsigned char)255, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)181, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0, _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0, _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)9, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)103, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)136, (unsigned char)13, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)95, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0, _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0, _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)9, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)128, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__store_int$right_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)215, (unsigned char)247, (unsigned char)255, (unsigned char)255, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)193, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0, _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0, _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)9, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)147, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__global$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)49, (unsigned char)246, (unsigned char)255, (unsigned char)255, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)20, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0, _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0, _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)9, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)142, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)255, (unsigned char)255, (unsigned char)255, (unsigned char)255, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)255, (unsigned char)255, (unsigned char)255, (unsigned char)255, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__Lt_int_int2int$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_int$right_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__MinusPI_void_star_unsigned_long2void_star$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)144, (unsigned char)244, (unsigned char)255, (unsigned char)255, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)217, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0, _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0, _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)9, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)73, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)255, (unsigned char)255, (unsigned char)255, (unsigned char)255, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__store_int$right_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)254, (unsigned char)255, (unsigned char)255, (unsigned char)255, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)52, (unsigned char)243, (unsigned char)255, (unsigned char)255, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)146, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0, _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0, _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)9, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)176, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)25, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)113, (unsigned char)241, (unsigned char)255, (unsigned char)255, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)40, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0, _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0, _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)9, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)166, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__switch$expr_STA_0$default_LAB_0$max_LIT_1$min_LIT_2$jumpTab_LABLST_3, (unsigned char)102, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)16, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__formal$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)184, (unsigned char)239, (unsigned char)255, (unsigned char)255, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)240, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0, _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0, _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)9, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)186, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__switch$expr_STA_0$default_LAB_0$max_LIT_1$min_LIT_2$jumpTab_LABLST_3, (unsigned char)211, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)16, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)25, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)66, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)76, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)25, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)32, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__store_int$right_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)80, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)25, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)36, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__store_int$right_STA_0$left_STA_1, _v2_1_fib__call$func_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)235, (unsigned char)237, (unsigned char)255, (unsigned char)255, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)82, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)24, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0, _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0, _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)9, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)212, (unsigned char)237, (unsigned char)255, (unsigned char)255, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)9, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__goto$label_LAB_0, (unsigned char)131, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0, _v2_1_fib__load_int$left_STA_0$result_STA_0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)98, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_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, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)1, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__constant_int$result_STA_0$value_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__load_void_star$left_STA_0$result_STA_0, _v2_1_fib__MinusPI_void_star_unsigned_long2void_star$left_STA_0$result_STA_0$right_STA_1, _v2_1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_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, _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__constant_void_star$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, _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1, _v2_1_fib__store_void_star$left_STA_0$right_STA_1, _v2_1_fib__goto$label_LAB_0, (unsigned char)235, (unsigned char)235, (unsigned char)255, (unsigned char)255, _v2_1_fib__goto$label_LAB_0, (unsigned char)230, (unsigned char)235, (unsigned char)255, (unsigned char)255, _v2_1_fib__returnVoid$}}; char *_v1_1_fib_$strings ; void v2megaInit(void) ; 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 int pthread_barrier_wait(int *barrier ) ; 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 v2_v1_1_fib_$array_i$nit(void) { { _v1_1_fib_$array[0][0] = (unsigned char)146; _v1_1_fib_$array[0][1] = (unsigned char)4; _v1_1_fib_$array[0][2] = (unsigned char)0; _v1_1_fib_$array[0][3] = (unsigned char)0; _v1_1_fib_$array[0][4] = (unsigned char)0; _v1_1_fib_$array[0][5] = (unsigned char)95; _v1_1_fib_$array[0][6] = (unsigned char)0; _v1_1_fib_$array[0][7] = (unsigned char)0; _v1_1_fib_$array[0][8] = (unsigned char)0; _v1_1_fib_$array[0][9] = (unsigned char)0; _v1_1_fib_$array[0][10] = (unsigned char)217; _v1_1_fib_$array[0][11] = (unsigned char)146; _v1_1_fib_$array[0][12] = (unsigned char)8; _v1_1_fib_$array[0][13] = (unsigned char)0; _v1_1_fib_$array[0][14] = (unsigned char)0; _v1_1_fib_$array[0][15] = (unsigned char)0; _v1_1_fib_$array[0][16] = (unsigned char)95; _v1_1_fib_$array[0][17] = (unsigned char)1; _v1_1_fib_$array[0][18] = (unsigned char)0; _v1_1_fib_$array[0][19] = (unsigned char)0; _v1_1_fib_$array[0][20] = (unsigned char)0; _v1_1_fib_$array[0][21] = (unsigned char)217; _v1_1_fib_$array[0][22] = (unsigned char)146; _v1_1_fib_$array[0][23] = (unsigned char)12; _v1_1_fib_$array[0][24] = (unsigned char)0; _v1_1_fib_$array[0][25] = (unsigned char)0; _v1_1_fib_$array[0][26] = (unsigned char)0; _v1_1_fib_$array[0][27] = (unsigned char)95; _v1_1_fib_$array[0][28] = (unsigned char)1; _v1_1_fib_$array[0][29] = (unsigned char)0; _v1_1_fib_$array[0][30] = (unsigned char)0; _v1_1_fib_$array[0][31] = (unsigned char)0; _v1_1_fib_$array[0][32] = (unsigned char)217; _v1_1_fib_$array[0][33] = (unsigned char)146; _v1_1_fib_$array[0][34] = (unsigned char)16; _v1_1_fib_$array[0][35] = (unsigned char)0; _v1_1_fib_$array[0][36] = (unsigned char)0; _v1_1_fib_$array[0][37] = (unsigned char)0; _v1_1_fib_$array[0][38] = (unsigned char)95; _v1_1_fib_$array[0][39] = (unsigned char)1; _v1_1_fib_$array[0][40] = (unsigned char)0; _v1_1_fib_$array[0][41] = (unsigned char)0; _v1_1_fib_$array[0][42] = (unsigned char)0; _v1_1_fib_$array[0][43] = (unsigned char)217; _v1_1_fib_$array[0][44] = (unsigned char)203; _v1_1_fib_$array[0][45] = (unsigned char)4; _v1_1_fib_$array[0][46] = (unsigned char)0; _v1_1_fib_$array[0][47] = (unsigned char)0; _v1_1_fib_$array[0][48] = (unsigned char)0; _v1_1_fib_$array[0][49] = (unsigned char)40; _v1_1_fib_$array[0][50] = (unsigned char)0; _v1_1_fib_$array[0][51] = (unsigned char)0; _v1_1_fib_$array[0][52] = (unsigned char)0; _v1_1_fib_$array[0][53] = (unsigned char)0; _v1_1_fib_$array[0][54] = (unsigned char)21; _v1_1_fib_$array[0][55] = (unsigned char)146; _v1_1_fib_$array[0][56] = (unsigned char)16; _v1_1_fib_$array[0][57] = (unsigned char)0; _v1_1_fib_$array[0][58] = (unsigned char)0; _v1_1_fib_$array[0][59] = (unsigned char)0; _v1_1_fib_$array[0][60] = (unsigned char)21; _v1_1_fib_$array[0][61] = (unsigned char)20; _v1_1_fib_$array[0][62] = (unsigned char)82; _v1_1_fib_$array[0][63] = (unsigned char)14; _v1_1_fib_$array[0][64] = (unsigned char)0; _v1_1_fib_$array[0][65] = (unsigned char)0; _v1_1_fib_$array[0][66] = (unsigned char)0; _v1_1_fib_$array[0][67] = (unsigned char)203; _v1_1_fib_$array[0][68] = (unsigned char)4; _v1_1_fib_$array[0][69] = (unsigned char)0; _v1_1_fib_$array[0][70] = (unsigned char)0; _v1_1_fib_$array[0][71] = (unsigned char)0; _v1_1_fib_$array[0][72] = (unsigned char)203; _v1_1_fib_$array[0][73] = (unsigned char)75; _v1_1_fib_$array[0][74] = (unsigned char)0; _v1_1_fib_$array[0][75] = (unsigned char)0; _v1_1_fib_$array[0][76] = (unsigned char)0; _v1_1_fib_$array[0][77] = (unsigned char)146; _v1_1_fib_$array[0][78] = (unsigned char)12; _v1_1_fib_$array[0][79] = (unsigned char)0; _v1_1_fib_$array[0][80] = (unsigned char)0; _v1_1_fib_$array[0][81] = (unsigned char)0; _v1_1_fib_$array[0][82] = (unsigned char)146; _v1_1_fib_$array[0][83] = (unsigned char)4; _v1_1_fib_$array[0][84] = (unsigned char)0; _v1_1_fib_$array[0][85] = (unsigned char)0; _v1_1_fib_$array[0][86] = (unsigned char)0; _v1_1_fib_$array[0][87] = (unsigned char)21; _v1_1_fib_$array[0][88] = (unsigned char)146; _v1_1_fib_$array[0][89] = (unsigned char)8; _v1_1_fib_$array[0][90] = (unsigned char)0; _v1_1_fib_$array[0][91] = (unsigned char)0; _v1_1_fib_$array[0][92] = (unsigned char)0; _v1_1_fib_$array[0][93] = (unsigned char)21; _v1_1_fib_$array[0][94] = (unsigned char)226; _v1_1_fib_$array[0][95] = (unsigned char)217; _v1_1_fib_$array[0][96] = (unsigned char)146; _v1_1_fib_$array[0][97] = (unsigned char)4; _v1_1_fib_$array[0][98] = (unsigned char)0; _v1_1_fib_$array[0][99] = (unsigned char)0; _v1_1_fib_$array[0][100] = (unsigned char)0; _v1_1_fib_$array[0][101] = (unsigned char)146; _v1_1_fib_$array[0][102] = (unsigned char)8; _v1_1_fib_$array[0][103] = (unsigned char)0; _v1_1_fib_$array[0][104] = (unsigned char)0; _v1_1_fib_$array[0][105] = (unsigned char)0; _v1_1_fib_$array[0][106] = (unsigned char)21; _v1_1_fib_$array[0][107] = (unsigned char)217; _v1_1_fib_$array[0][108] = (unsigned char)146; _v1_1_fib_$array[0][109] = (unsigned char)8; _v1_1_fib_$array[0][110] = (unsigned char)0; _v1_1_fib_$array[0][111] = (unsigned char)0; _v1_1_fib_$array[0][112] = (unsigned char)0; _v1_1_fib_$array[0][113] = (unsigned char)146; _v1_1_fib_$array[0][114] = (unsigned char)12; _v1_1_fib_$array[0][115] = (unsigned char)0; _v1_1_fib_$array[0][116] = (unsigned char)0; _v1_1_fib_$array[0][117] = (unsigned char)0; _v1_1_fib_$array[0][118] = (unsigned char)21; _v1_1_fib_$array[0][119] = (unsigned char)217; _v1_1_fib_$array[0][120] = (unsigned char)146; _v1_1_fib_$array[0][121] = (unsigned char)16; _v1_1_fib_$array[0][122] = (unsigned char)0; _v1_1_fib_$array[0][123] = (unsigned char)0; _v1_1_fib_$array[0][124] = (unsigned char)0; _v1_1_fib_$array[0][125] = (unsigned char)146; _v1_1_fib_$array[0][126] = (unsigned char)16; _v1_1_fib_$array[0][127] = (unsigned char)0; _v1_1_fib_$array[0][128] = (unsigned char)0; _v1_1_fib_$array[0][129] = (unsigned char)0; _v1_1_fib_$array[0][130] = (unsigned char)21; _v1_1_fib_$array[0][131] = (unsigned char)95; _v1_1_fib_$array[0][132] = (unsigned char)1; _v1_1_fib_$array[0][133] = (unsigned char)0; _v1_1_fib_$array[0][134] = (unsigned char)0; _v1_1_fib_$array[0][135] = (unsigned char)0; _v1_1_fib_$array[0][136] = (unsigned char)226; _v1_1_fib_$array[0][137] = (unsigned char)217; _v1_1_fib_$array[0][138] = (unsigned char)203; _v1_1_fib_$array[0][139] = (unsigned char)166; _v1_1_fib_$array[0][140] = (unsigned char)255; _v1_1_fib_$array[0][141] = (unsigned char)255; _v1_1_fib_$array[0][142] = (unsigned char)255; _v1_1_fib_$array[0][143] = (unsigned char)203; _v1_1_fib_$array[0][144] = (unsigned char)161; _v1_1_fib_$array[0][145] = (unsigned char)255; _v1_1_fib_$array[0][146] = (unsigned char)255; _v1_1_fib_$array[0][147] = (unsigned char)255; _v1_1_fib_$array[0][148] = (unsigned char)193; _v1_1_fib_$array[0][149] = (unsigned char)0; _v1_1_fib_$array[0][150] = (unsigned char)0; _v1_1_fib_$array[0][151] = (unsigned char)0; _v1_1_fib_$array[0][152] = (unsigned char)0; _v1_1_fib_$array[0][153] = (unsigned char)111; _v1_1_fib_$array[0][154] = (unsigned char)146; _v1_1_fib_$array[0][155] = (unsigned char)24; _v1_1_fib_$array[0][156] = (unsigned char)0; _v1_1_fib_$array[0][157] = (unsigned char)0; _v1_1_fib_$array[0][158] = (unsigned char)0; _v1_1_fib_$array[0][159] = (unsigned char)35; _v1_1_fib_$array[0][160] = (unsigned char)146; _v1_1_fib_$array[0][161] = (unsigned char)32; _v1_1_fib_$array[0][162] = (unsigned char)0; _v1_1_fib_$array[0][163] = (unsigned char)0; _v1_1_fib_$array[0][164] = (unsigned char)0; _v1_1_fib_$array[0][165] = (unsigned char)40; _v1_1_fib_$array[0][166] = (unsigned char)0; _v1_1_fib_$array[0][167] = (unsigned char)0; _v1_1_fib_$array[0][168] = (unsigned char)0; _v1_1_fib_$array[0][169] = (unsigned char)0; _v1_1_fib_$array[0][170] = (unsigned char)21; _v1_1_fib_$array[0][171] = (unsigned char)217; _v1_1_fib_$array[0][172] = (unsigned char)146; _v1_1_fib_$array[0][173] = (unsigned char)36; _v1_1_fib_$array[0][174] = (unsigned char)0; _v1_1_fib_$array[0][175] = (unsigned char)0; _v1_1_fib_$array[0][176] = (unsigned char)0; _v1_1_fib_$array[0][177] = (unsigned char)146; _v1_1_fib_$array[0][178] = (unsigned char)12; _v1_1_fib_$array[0][179] = (unsigned char)0; _v1_1_fib_$array[0][180] = (unsigned char)0; _v1_1_fib_$array[0][181] = (unsigned char)0; _v1_1_fib_$array[0][182] = (unsigned char)21; _v1_1_fib_$array[0][183] = (unsigned char)217; _v1_1_fib_$array[0][184] = (unsigned char)240; _v1_1_fib_$array[0][185] = (unsigned char)1; _v1_1_fib_$array[0][186] = (unsigned char)0; _v1_1_fib_$array[0][187] = (unsigned char)0; _v1_1_fib_$array[0][188] = (unsigned char)0; _v1_1_fib_$array[0][189] = (unsigned char)203; _v1_1_fib_$array[0][190] = (unsigned char)4; _v1_1_fib_$array[0][191] = (unsigned char)0; _v1_1_fib_$array[0][192] = (unsigned char)0; _v1_1_fib_$array[0][193] = (unsigned char)0; _v1_1_fib_$array[0][194] = (unsigned char)181; } } void v2_global_v1envp_i$nit(void) { { } } void v2_global_v1argv_i$nit(void) { { } } void fib(int n ) { char _v2_1_fib_$locals[340] ; union _v2_1_fib_$node _v2_1_fib_$stack[1][32] ; union _v2_1_fib_$node *_v2_1_fib_$sp[1] ; unsigned char *_v2_1_fib_$pc[1] ; unsigned char _v2_1_fib_$currentOp ; int control17 ; int min18 ; int max19 ; int default20 ; unsigned char *jumpTab21 ; { _v2_1_fib_$sp[0] = _v2_1_fib_$stack[0]; _v2_1_fib_$pc[0] = _v2_1_fib_$array[0]; while (1) { _v2_1_fib_$currentOp = *(_v2_1_fib_$pc[0]); if (_v2_1_fib_$currentOp == _v2_1_fib__load_int$left_STA_0$result_STA_0) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + 0)->_int = *((int *)(_v2_1_fib_$sp[0] + 0)->_void_star); } else if (_v2_1_fib_$currentOp == _v2_1_fib__PlusA_int_int2int$left_STA_0$result_STA_0$right_STA_1) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + -1)->_int = (_v2_1_fib_$sp[0] + 0)->_int + (_v2_1_fib_$sp[0] + -1)->_int; (_v2_1_fib_$sp[0]) --; } else if (_v2_1_fib_$currentOp == _v2_1_fib__formal$result_STA_0$value_LIT_0) { (_v2_1_fib_$pc[0]) ++; switch (*((int *)_v2_1_fib_$pc[0])) { case 0: (_v2_1_fib_$sp[0] + 1)->_void_star = (void *)(& n); break; } (_v2_1_fib_$sp[0]) ++; _v2_1_fib_$pc[0] += 4; } else if (_v2_1_fib_$currentOp == _v2_1_fib__PlusPI_void_star_int2void_star$right_STA_0$result_STA_0$left_STA_1) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + -1)->_void_star = (_v2_1_fib_$sp[0] + -1)->_void_star + (_v2_1_fib_$sp[0] + 0)->_int; (_v2_1_fib_$sp[0]) --; } else if (_v2_1_fib_$currentOp == _v2_1_fib__Eq_int_int2int$left_STA_0$result_STA_0$right_STA_1) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + -1)->_int = (_v2_1_fib_$sp[0] + 0)->_int == (_v2_1_fib_$sp[0] + -1)->_int; (_v2_1_fib_$sp[0]) --; } else if (_v2_1_fib_$currentOp == _v2_1_fib__store_void_star$left_STA_0$right_STA_1) { (_v2_1_fib_$pc[0]) ++; *((void **)(_v2_1_fib_$sp[0] + 0)->_void_star) = (_v2_1_fib_$sp[0] + -1)->_void_star; _v2_1_fib_$sp[0] += -2; } else if (_v2_1_fib_$currentOp == _v2_1_fib__convert_unsigned_char2int$left_STA_0$result_STA_0) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + 0)->_int = (int )(_v2_1_fib_$sp[0] + 0)->_unsigned_char; } else if (_v2_1_fib_$currentOp == _v2_1_fib__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + -1)->_void_star = (_v2_1_fib_$sp[0] + -1)->_void_star + (_v2_1_fib_$sp[0] + 0)->_unsigned_long; (_v2_1_fib_$sp[0]) --; } else if (_v2_1_fib_$currentOp == _v2_1_fib__constant_unsigned_long$result_STA_0$value_LIT_0) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_v2_1_fib_$pc[0]); (_v2_1_fib_$sp[0]) ++; _v2_1_fib_$pc[0] += 8; } else if (_v2_1_fib_$currentOp == _v2_1_fib__global$result_STA_0$value_LIT_0) { (_v2_1_fib_$pc[0]) ++; switch (*((int *)_v2_1_fib_$pc[0])) { case 0: (_v2_1_fib_$sp[0] + 1)->_void_star = (void *)(_v1_1_fib_$array); break; case 1: (_v2_1_fib_$sp[0] + 1)->_void_star = (void *)(& _v1_1_fib_$strings); break; } (_v2_1_fib_$sp[0]) ++; _v2_1_fib_$pc[0] += 4; } else if (_v2_1_fib_$currentOp == _v2_1_fib__store_int$right_STA_0$left_STA_1) { (_v2_1_fib_$pc[0]) ++; *((int *)(_v2_1_fib_$sp[0] + -1)->_void_star) = (_v2_1_fib_$sp[0] + 0)->_int; _v2_1_fib_$sp[0] += -2; } else if (_v2_1_fib_$currentOp == _v2_1_fib__MinusPI_void_star_unsigned_long2void_star$left_STA_0$result_STA_0$right_STA_1) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + -1)->_void_star = (_v2_1_fib_$sp[0] + 0)->_void_star - (_v2_1_fib_$sp[0] + -1)->_unsigned_long; (_v2_1_fib_$sp[0]) --; } else if (_v2_1_fib_$currentOp == _v2_1_fib__load_unsigned_char$left_STA_0$result_STA_0) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + 0)->_unsigned_char = *((unsigned char *)(_v2_1_fib_$sp[0] + 0)->_void_star); } else if (_v2_1_fib_$currentOp == _v2_1_fib__branchIfTrue$expr_STA_0$label_LAB_0) { (_v2_1_fib_$pc[0]) ++; if ((_v2_1_fib_$sp[0] + 0)->_int) { _v2_1_fib_$pc[0] += *((int *)_v2_1_fib_$pc[0]); } else { _v2_1_fib_$pc[0] += 4; } (_v2_1_fib_$sp[0]) --; } else if (_v2_1_fib_$currentOp == _v2_1_fib__convert_int2unsigned_long$left_STA_0$result_STA_0) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + 0)->_unsigned_long = (unsigned long )(_v2_1_fib_$sp[0] + 0)->_int; } else if (_v2_1_fib_$currentOp == _v2_1_fib__load_void_star$left_STA_0$result_STA_0) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + 0)->_void_star = *((void **)(_v2_1_fib_$sp[0] + 0)->_void_star); } else if (_v2_1_fib_$currentOp == _v2_1_fib__returnVoid$) { (_v2_1_fib_$pc[0]) ++; return; } else if (_v2_1_fib_$currentOp == _v2_1_fib__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + -1)->_unsigned_long = (_v2_1_fib_$sp[0] + -1)->_unsigned_long * (_v2_1_fib_$sp[0] + 0)->_unsigned_long; (_v2_1_fib_$sp[0]) --; } else if (_v2_1_fib_$currentOp == _v2_1_fib__constant_void_star$result_STA_0$value_LIT_0) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + 1)->_void_star = *((void **)_v2_1_fib_$pc[0]); (_v2_1_fib_$sp[0]) ++; _v2_1_fib_$pc[0] += 8; } else if (_v2_1_fib_$currentOp == _v2_1_fib__constant_int$result_STA_0$value_LIT_0) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + 1)->_int = *((int *)_v2_1_fib_$pc[0]); (_v2_1_fib_$sp[0]) ++; _v2_1_fib_$pc[0] += 4; } else if (_v2_1_fib_$currentOp == _v2_1_fib__store_unsigned_char$left_STA_0$right_STA_1) { (_v2_1_fib_$pc[0]) ++; *((unsigned char *)(_v2_1_fib_$sp[0] + 0)->_void_star) = (_v2_1_fib_$sp[0] + -1)->_unsigned_char; _v2_1_fib_$sp[0] += -2; } else if (_v2_1_fib_$currentOp == _v2_1_fib__convert_void_star2void_star$left_STA_0$result_STA_0) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + 0)->_void_star = (_v2_1_fib_$sp[0] + 0)->_void_star; } else if (_v2_1_fib_$currentOp == _v2_1_fib__call$func_LIT_0) { (_v2_1_fib_$pc[0]) ++; switch (*((int *)_v2_1_fib_$pc[0])) { case 1: printf(*((char const * __restrict *)(_v2_1_fib_$locals + 322)), *((int *)(_v2_1_fib_$locals + 332)), *((int *)(_v2_1_fib_$locals + 336))); break; } _v2_1_fib_$pc[0] += 4; } else if (_v2_1_fib_$currentOp == _v2_1_fib__Lt_int_int2int$right_STA_0$result_STA_0$left_STA_1) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + -1)->_int = (_v2_1_fib_$sp[0] + -1)->_int < (_v2_1_fib_$sp[0] + 0)->_int; (_v2_1_fib_$sp[0]) --; } else if (_v2_1_fib_$currentOp == _v2_1_fib__goto$label_LAB_0) { (_v2_1_fib_$pc[0]) ++; _v2_1_fib_$pc[0] += *((int *)_v2_1_fib_$pc[0]); } else if (_v2_1_fib_$currentOp == _v2_1_fib__local$result_STA_0$value_LIT_0) { (_v2_1_fib_$pc[0]) ++; (_v2_1_fib_$sp[0] + 1)->_void_star = (void *)(_v2_1_fib_$locals + *((int *)_v2_1_fib_$pc[0])); (_v2_1_fib_$sp[0]) ++; _v2_1_fib_$pc[0] += 4; } else if (_v2_1_fib_$currentOp == _v2_1_fib__switch$expr_STA_0$default_LAB_0$max_LIT_1$min_LIT_2$jumpTab_LABLST_3) { (_v2_1_fib_$pc[0]) ++; control17 = (_v2_1_fib_$sp[0] + 0)->_int; (_v2_1_fib_$sp[0]) --; min18 = *((int *)(_v2_1_fib_$pc[0] + 8)); max19 = *((int *)(_v2_1_fib_$pc[0] + 4)); default20 = *((int *)_v2_1_fib_$pc[0]); jumpTab21 = _v2_1_fib_$pc[0] + 12; if (control17 < min18) { _v2_1_fib_$pc[0] += default20; } else if (control17 > max19) { _v2_1_fib_$pc[0] += default20; } else { _v2_1_fib_$pc[0] += *((int *)((char *)jumpTab21 + (control17 - min18) * 4)); } } else { } } } } void v2megaInit(void) { { v2_v1_1_fib_$strings_i$nit(); v2_global_v1argv_i$nit(); v2_global_v1argc_i$nit(); v2_v1_1_fib_$array_i$nit(); v2_global_v1envp_i$nit(); } } __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 v2_global_v1argc_i$nit(void) { { } } int main(int argc , char **argv , char **_formal_v1envp ) { { v2megaInit(); _global_v2argc = argc; _global_v2argv = argv; _global_v2envp = _formal_v1envp; v1megaInit(); _global_v1argc = argc; _global_v1argv = argv; _global_v1envp = _formal_v1envp; fac(1); fib(1); fac(5); fib(5); fac(10); fib(10); return (0); } } void fac(int n ) { int s ; int i ; { s = 1; i = 2; while (i <= n) { s *= i; i ++; } printf((char const */* __restrict */)"fac(%i)=%i\n", n, s); return; } } void v1megaInit(void) { { return; } } void v2_v1_1_fib_$strings_i$nit(void) { { _v1_1_fib_$strings = "fib(%i)=%i\n\000"; } }