/* Generated by CIL v. 1.7.0 */ /* print_CIL_Input is false */ struct __sFILEX; enum _1_fib_$op; union _1_fib_$node; struct __sFILE; struct __sbuf; struct timespec; struct timeval; extern int pthread_cond_signal(int *cond ) ; extern void exit(int status ) ; typedef long long __int64_t; extern int fclose(void *stream ) ; extern int fseek(struct __sFILE *stream , long offs , int whence ) ; extern int close(int filedes ) ; typedef struct __sFILE FILE; extern int __swbuf(int , FILE * ) ; extern int pthread_create(void *thread , void *attr , void *start_routine , void *arg ) ; char **_global_argv = (char **)0; extern void *dlsym(void *handle , char *symbol ) ; extern int unlink(char const *filename ) ; extern int fcntl(int filedes , int cmd , ...) ; extern int pthread_mutex_lock(int *mutex ) ; struct timeval { long tv_sec ; int tv_usec ; }; extern int pthread_cond_init(int *cond , int *attr ) ; extern unsigned long strtoul(char const *str , char const *endptr , int base ) ; typedef __int64_t __darwin_off_t; extern int raise(int sig ) ; enum _1_fib_$op { _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0 = 83, _1_fib__formal$result_REG_0$value_LIT_1 = 53, _1_fib__load_int$left_STA_0$result_STA_0 = 202, _1_fib__store_int$left_STA_0$right_REG_0 = 119, _1_fib__returnVoid$ = 199, _1_fib__load_int$result_STA_0$left_REG_0 = 89, _1_fib__string$result_REG_0$value_LIT_1 = 182, _1_fib__PlusA_int_int2int$left_STA_0$result_REG_0$right_REG_1 = 23, _1_fib__PlusA_int_int2int$left_STA_0$result_STA_0$right_REG_0 = 44, _1_fib__local$result_REG_0$value_LIT_1 = 226, _1_fib__store_void_star$left_STA_0$right_REG_0 = 69, _1_fib__call$func_LIT_0 = 153, _1_fib__goto$label_LAB_0 = 122, _1_fib__convert_int2int$left_STA_0$result_REG_0 = 36, _1_fib__store_int$right_REG_0$left_REG_1 = 87, _1_fib__constant_int$value_LIT_0$result_REG_1 = 135, _1_fib__Lt_int_int2int$left_STA_0$result_STA_0$right_REG_0 = 217, _1_fib__convert_void_star2void_star$left_STA_0$result_REG_0 = 120, _1_fib__local$result_STA_0$value_LIT_0 = 218, _1_fib__branchIfTrue$expr_STA_0$label_LAB_0 = 240 } ; unsigned char _1_fib_$array[1][461] = { { _1_fib__local$result_STA_0$value_LIT_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_void_star2void_star$left_STA_0$result_REG_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__constant_int$value_LIT_0$result_REG_1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__store_int$right_REG_0$left_REG_1, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_void_star2void_star$left_STA_0$result_REG_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__constant_int$value_LIT_0$result_REG_1, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__store_int$right_REG_0$left_REG_1, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_REG_0$value_LIT_1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)12, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__constant_int$value_LIT_0$result_REG_1, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__store_int$right_REG_0$left_REG_1, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__constant_int$value_LIT_0$result_REG_1, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__store_int$left_STA_0$right_REG_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_REG_0$value_LIT_1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)16, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__load_int$result_STA_0$left_REG_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__formal$result_REG_0$value_LIT_1, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__load_int$left_STA_0$result_STA_0, _1_fib__convert_int2int$left_STA_0$result_REG_0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__Lt_int_int2int$left_STA_0$result_STA_0$right_REG_0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)14, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__goto$label_LAB_0, (unsigned char)189, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_STA_0$value_LIT_0, (unsigned char)12, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_void_star2void_star$left_STA_0$result_REG_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_REG_0$value_LIT_1, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__load_int$left_STA_0$result_STA_0, _1_fib__convert_int2int$left_STA_0$result_REG_0, (unsigned char)3, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_REG_0$value_LIT_1, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__load_int$left_STA_0$result_STA_0, _1_fib__PlusA_int_int2int$left_STA_0$result_REG_0$right_REG_1, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)3, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__store_int$right_REG_0$left_REG_1, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_REG_0$value_LIT_1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_REG_0$value_LIT_1, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__load_int$left_STA_0$result_STA_0, _1_fib__convert_int2int$left_STA_0$result_REG_0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__store_int$left_STA_0$right_REG_0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_STA_0$value_LIT_0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_REG_0$value_LIT_1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)12, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__load_int$left_STA_0$result_STA_0, _1_fib__convert_int2int$left_STA_0$result_REG_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__store_int$left_STA_0$right_REG_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_REG_0$value_LIT_1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)16, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_STA_0$value_LIT_0, (unsigned char)16, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__load_int$left_STA_0$result_STA_0, _1_fib__constant_int$value_LIT_0$result_REG_1, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__PlusA_int_int2int$left_STA_0$result_STA_0$right_REG_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_int2int$left_STA_0$result_REG_0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__store_int$right_REG_0$left_REG_1, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__goto$label_LAB_0, (unsigned char)26, (unsigned char)255, (unsigned char)255, (unsigned char)255, _1_fib__goto$label_LAB_0, (unsigned char)21, (unsigned char)255, (unsigned char)255, (unsigned char)255, _1_fib__local$result_REG_0$value_LIT_1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)24, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__string$result_REG_0$value_LIT_1, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_void_star2void_star$left_STA_0$result_REG_0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__store_void_star$left_STA_0$right_REG_0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_STA_0$value_LIT_0, (unsigned char)32, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__formal$result_REG_0$value_LIT_1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__load_int$result_STA_0$left_REG_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_int2int$left_STA_0$result_REG_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__store_int$left_STA_0$right_REG_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_REG_0$value_LIT_1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)36, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_REG_0$value_LIT_1, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)12, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__load_int$result_STA_0$left_REG_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_int2int$left_STA_0$result_REG_0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__store_int$right_REG_0$left_REG_1, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__call$func_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__returnVoid$}}; extern void abort() ; extern int atoi(char const *s ) ; void fac(int n ) ; extern void *malloc(unsigned long size ) ; extern double ceil(double x ) ; extern int getpagesize() ; extern int posix_memalign(void **memptr , unsigned long alignment , unsigned long size ) ; extern int pthread_cond_broadcast(int *cond ) ; extern int pthread_join(void *thread , void **value_ptr ) ; extern int rand() ; extern int pthread_barrier_destroy(int *barrier ) ; extern void free(void *ptr ) ; char const *_1_fib_$strings = "fib(%i)=%i\n\000"; extern unsigned long strlen(char const *s ) ; extern int ptrace(int request , void *pid , void *addr , int data ) ; int main(int argc , char **argv , char **_formal_envp ) ; 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 ) ; int _global_argc = 0; char **_global_envp = (char **)0; void megaInit(void) ; extern int fscanf(struct __sFILE *stream , char const *format , ...) ; extern int ( /* format attribute */ printf)(char const * __restrict , ...) ; void fib(int n ) ; extern long clock(void) ; 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 ) ; extern int strcmp(char const *a , char const *b ) ; extern void *fopen(char const *filename , char const *mode ) ; extern double difftime(long tv1 , long tv0 ) ; extern void signal(int sig , void *func ) ; extern long time(long *tloc ) ; __inline int ( __attribute__((__always_inline__)) __sputc)(int _c , FILE *_p ) ; extern int fprintf(struct __sFILE *stream , char const *format , ...) ; union _1_fib_$node { void *_void_star ; unsigned long long _unsigned_long_long ; long long _long_long ; unsigned long _unsigned_long ; long _long ; unsigned short _unsigned_short ; short _short ; unsigned int _unsigned_int ; int _int ; unsigned char _unsigned_char ; signed char _signed_char ; char _char ; }; 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 megaInit(void) { { } } int main(int argc , char **argv , char **_formal_envp ) { { megaInit(); _global_argc = argc; _global_argv = argv; _global_envp = _formal_envp; fac(1); fib(1); fac(5); fib(5); fac(10); fib(10); return (0); } } void fac(int n ) { int s ; int i ; { s = 1; i = 2; while (i <= n) { s *= i; i ++; } printf((char const */* __restrict */)"fac(%i)=%i\n", n, s); return; } } __inline int ( __attribute__((__always_inline__)) __sputc)(int _c , FILE *_p ) { unsigned char *tmp ; unsigned char tmp___0 ; int tmp___1 ; { (_p->_w) --; if (_p->_w >= 0) { tmp = _p->_p; (_p->_p) ++; tmp___0 = (unsigned char )_c; *tmp = tmp___0; return ((int )tmp___0); } else if (_p->_w >= _p->_lbfsize) { if ((int )((char )_c) != 10) { tmp = _p->_p; (_p->_p) ++; tmp___0 = (unsigned char )_c; *tmp = tmp___0; return ((int )tmp___0); } else { tmp___1 = __swbuf(_c, _p); return (tmp___1); } } else { tmp___1 = __swbuf(_c, _p); return (tmp___1); } } } void fib(int n ) { char _1_fib_$locals[40] ; union _1_fib_$node _1_fib_$stack[1][32] ; union _1_fib_$node *_1_fib_$sp[1] ; union _1_fib_$node _1_fib_$regs[1][5] ; unsigned char *_1_fib_$pc[1] ; { _1_fib_$sp[0] = _1_fib_$stack[0]; _1_fib_$pc[0] = _1_fib_$array[0]; while (1) { switch (*(_1_fib_$pc[0])) { case _1_fib__store_int$left_STA_0$right_REG_0: (_1_fib_$pc[0]) ++; *((int *)(_1_fib_$sp[0] + 0)->_void_star) = _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._int; (_1_fib_$sp[0]) --; _1_fib_$pc[0] += 4; break; case _1_fib__PlusA_int_int2int$left_STA_0$result_REG_0$right_REG_1: (_1_fib_$pc[0]) ++; _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._int = (_1_fib_$sp[0] + 0)->_int + _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 4))]._int; (_1_fib_$sp[0]) --; _1_fib_$pc[0] += 8; break; case _1_fib__load_int$left_STA_0$result_STA_0: (_1_fib_$pc[0]) ++; (_1_fib_$sp[0] + 0)->_int = *((int *)(_1_fib_$sp[0] + 0)->_void_star); break; case _1_fib__local$result_STA_0$value_LIT_0: (_1_fib_$pc[0]) ++; (_1_fib_$sp[0] + 1)->_void_star = (void *)(_1_fib_$locals + *((int *)_1_fib_$pc[0])); (_1_fib_$sp[0]) ++; _1_fib_$pc[0] += 4; break; case _1_fib__store_int$right_REG_0$left_REG_1: (_1_fib_$pc[0]) ++; *((int *)_1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 4))]._void_star) = _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._int; _1_fib_$pc[0] += 8; break; case _1_fib__local$result_REG_0$value_LIT_1: (_1_fib_$pc[0]) ++; _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._void_star = (void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 4))); _1_fib_$pc[0] += 8; break; case _1_fib__Lt_int_int2int$left_STA_0$result_STA_0$right_REG_0: (_1_fib_$pc[0]) ++; (_1_fib_$sp[0] + 0)->_int = (_1_fib_$sp[0] + 0)->_int < _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._int; _1_fib_$pc[0] += 4; break; case _1_fib__convert_void_star2void_star$left_STA_0$result_REG_0: (_1_fib_$pc[0]) ++; _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._void_star = (_1_fib_$sp[0] + 0)->_void_star; (_1_fib_$sp[0]) --; _1_fib_$pc[0] += 4; break; case _1_fib__store_void_star$left_STA_0$right_REG_0: (_1_fib_$pc[0]) ++; *((void **)(_1_fib_$sp[0] + 0)->_void_star) = _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._void_star; (_1_fib_$sp[0]) --; _1_fib_$pc[0] += 4; break; case _1_fib__formal$result_REG_0$value_LIT_1: (_1_fib_$pc[0]) ++; switch (*((int *)(_1_fib_$pc[0] + 4))) { case 0: _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._void_star = (void *)(& n); break; } _1_fib_$pc[0] += 8; break; case _1_fib__PlusA_int_int2int$left_STA_0$result_STA_0$right_REG_0: (_1_fib_$pc[0]) ++; (_1_fib_$sp[0] + 0)->_int = (_1_fib_$sp[0] + 0)->_int + _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._int; _1_fib_$pc[0] += 4; break; case _1_fib__returnVoid$: (_1_fib_$pc[0]) ++; return; break; case _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0: (_1_fib_$pc[0]) ++; (_1_fib_$sp[0] + 1)->_void_star = _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._void_star; (_1_fib_$sp[0]) ++; _1_fib_$pc[0] += 4; break; case _1_fib__branchIfTrue$expr_STA_0$label_LAB_0: (_1_fib_$pc[0]) ++; if ((_1_fib_$sp[0] + 0)->_int) { _1_fib_$pc[0] += *((int *)_1_fib_$pc[0]); } else { _1_fib_$pc[0] += 4; } (_1_fib_$sp[0]) --; break; case _1_fib__convert_int2int$left_STA_0$result_REG_0: (_1_fib_$pc[0]) ++; _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._int = (_1_fib_$sp[0] + 0)->_int; (_1_fib_$sp[0]) --; _1_fib_$pc[0] += 4; break; case _1_fib__call$func_LIT_0: (_1_fib_$pc[0]) ++; switch (*((int *)_1_fib_$pc[0])) { case 1: printf(*((char const * __restrict *)(_1_fib_$locals + 24)), *((int *)(_1_fib_$locals + 32)), *((int *)(_1_fib_$locals + 36))); break; } _1_fib_$pc[0] += 4; break; case _1_fib__goto$label_LAB_0: (_1_fib_$pc[0]) ++; _1_fib_$pc[0] += *((int *)_1_fib_$pc[0]); break; case _1_fib__string$result_REG_0$value_LIT_1: (_1_fib_$pc[0]) ++; _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._void_star = (void *)(_1_fib_$strings + *((int *)(_1_fib_$pc[0] + 4))); _1_fib_$pc[0] += 8; break; case _1_fib__load_int$result_STA_0$left_REG_0: (_1_fib_$pc[0]) ++; (_1_fib_$sp[0] + 1)->_int = *((int *)_1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._void_star); (_1_fib_$sp[0]) ++; _1_fib_$pc[0] += 4; break; case _1_fib__constant_int$value_LIT_0$result_REG_1: (_1_fib_$pc[0]) ++; _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 4))]._int = *((int *)_1_fib_$pc[0]); _1_fib_$pc[0] += 8; break; } } } }