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;
struct test {
    int x;
};
int test(int a) {
    void *__tesla_data;
    __tesla_event_function_prologue_test(&__tesla_data, a);
    int b;
    struct test c;
    struct test *d;
    while (a != 10)
        {
            int __tesla_tmp_assign;
            __tesla_tmp_assign = test(a - 1);
            __tesla_event_field_assign_struct_test_x(&c, __tesla_tmp_assign);
            c.x = __tesla_tmp_assign;
            int __tesla_tmp_retval;
            __tesla_tmp_retval = c.x;
            __tesla_event_function_return_test(&__tesla_data, __tesla_tmp_retval);
            return __tesla_tmp_retval;
        }
    b = 10;
    int __tesla_tmp_assign;
    __tesla_tmp_assign = test(a - 1);
    __tesla_event_field_assign_struct_test_x(d, __tesla_tmp_assign);
    d->x = __tesla_tmp_assign;
    int __tesla_tmp_retval;
    __tesla_tmp_retval = b;
    __tesla_event_function_return_test(&__tesla_data, __tesla_tmp_retval);
    return __tesla_tmp_retval;
    __tesla_event_function_return_test(&__tesla_data);
}