succ and pred to highlight simplicity of Ackermann function.
A list version from rosettacode.org.