Ackermann coding