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