static int ackermann_int(int a, int b) {
  if (a == 0)
    ret b+1;
  if (b == 0)
    ret ackermann_int(a-1, 1);
  ret ackermann_int(a-1, ackermann_int(a, b-1));
}