import std::* let f := (x : int, y : int) : int => { if x == 0 { y + 1 } else { if y == 0 { f(x - 1, 1) } else { f(x - 1, f(x, y - 1)) } } } let val := f(3, 1) printi(val)