The Ackermann Function in a few languages