michael@0: function ack(m,n){
michael@0:    if (m==0) { return n+1; }
michael@0:    if (n==0) { return ack(m-1,1); }
michael@0:    return ack(m-1, ack(m,n-1) );
michael@0: }
michael@0: assertEq(ack(3, 3), 61);