An example of Ackermann's recursive theory