corrections to Ackerman function with test module