struct __va_list_tag { unsigned int gp_offset; unsigned int fp_offset; void *overflow_arg_area; void *reg_save_area; }; typedef struct __va_list_tag __va_list_tag; int test() { void *__tesla_data; __tesla_event_function_prologue_test(&__tesla_data); if (test() != 0) { int __tesla_tmp_retval; __tesla_tmp_retval = 1; __tesla_event_function_return_test(&__tesla_data, __tesla_tmp_retval); return __tesla_tmp_retval; } else { int __tesla_tmp_retval; __tesla_tmp_retval = 0; __tesla_event_function_return_test(&__tesla_data, __tesla_tmp_retval); return __tesla_tmp_retval; } __tesla_event_function_return_test(&__tesla_data); }