greetings, does anybody know why the stalin entry for the ackerman test has the function (string->exact-integer ...) defined? it does not seem to be used. if it can not be removed it would be helpful with a comment explaining why in the source. bengt