compilers/tac/tests/recursion.c

/* ##answer: 5166*/
int fact(int n) {
  int inner_fact(int n, int a) {
    if (n == 0) return a;
    return inner_fact(n-1, a*n);
  }
  return inner_fact(n, 1);
}

int main() {
  int x = fact(3);
  int y = fact(5);
  int z = fact(7);

  return x+y+z;
}