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);
    int a = 1;
    switch (a) {
      case 1:
        {
            int __tesla_tmp_retval;
            __tesla_tmp_retval = 1;
            __tesla_event_function_return_test(&__tesla_data, __tesla_tmp_retval);
            return __tesla_tmp_retval;
        }
      case 2:
        {
            int __tesla_tmp_retval;
            __tesla_tmp_retval = 2;
            __tesla_event_function_return_test(&__tesla_data, __tesla_tmp_retval);
            return __tesla_tmp_retval;
        }
      case 3:
        {
            int __tesla_tmp_retval;
            __tesla_tmp_retval = 3;
            __tesla_event_function_return_test(&__tesla_data, __tesla_tmp_retval);
            return __tesla_tmp_retval;
        }
      default:
        {
            break;
        }
    }
    int __tesla_tmp_retval;
    __tesla_tmp_retval = 4;
    __tesla_event_function_return_test(&__tesla_data, __tesla_tmp_retval);
    return __tesla_tmp_retval;
    __tesla_event_function_return_test(&__tesla_data);
}