fix ackermann in mono tests