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) {
    int b;
    struct test *c;
    while (a != 10)
        {
            int __tesla_tmp_assign;
            __tesla_tmp_assign = a--;
            __tesla_event_field_assign_struct_test_x(c, __tesla_tmp_assign);
            c->x = __tesla_tmp_assign;
        }
    return b;
}