test

int y = 0;void test(int *ret_result, int *_t) {  int t = *(_t);  {    *ret_result = t;    return ;  };}void getValue() {  int test_146_0 = 3;  int test_146;  test(&test_146, &(test_146_0));  int test_156_0 = 2;  int test_156;  test(&test_156, &(test_156_0));  int test_141_0 = test_146 + test_156; int test_141;  test(&test_141, &(test_141_0));  y = test_141;}#ifdef VIR#include <stdio.h>int main() {  getValue();  printf("result: %d\n", y);  return 1;}#endif