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) {
    struct test *c;
    int __tesla_tmp_assign;
    __tesla_tmp_assign = 1;
    __tesla_event_field_assign_struct_test_x(c, __tesla_tmp_assign);
    c->x = __tesla_tmp_assign;
    c->x++;
    return c->x;
}