A small test of a memoized Ackermann function