Latest results from the procedure calling test, Ackermann's function - Wichmann, Brian A. (1982)