The Ackermann function for JOYCE

The Ackermann benchmark program focuses on function calls. It is used by compiler vendors as a standard for compiler assessment, and is selected to cover interesting aspects of the compiler and target computer. The function is defined as: Ensure that neither x or y are negative values.
The function looks harmless but it grows faster than any primitive recursive function.

Some samples are listed here:
A(0,5)=6A(1,5)=7A(2,5)=13A(3,5)=253
A(4,2) results in 19809 digits!

Some samples for the number of iterations:
A(0,5)=1A(1,5)=12A(2,5)=90A(3,5)=42438

The implementation on the Joyce ist just a gadget. The program asks for the values of x and y and displays each line containing E.g:
Ackermann(1,2) - Stacktiefe 7 - Iteration:           4