procedure acker(i,j)
   if i = 0 then return j + 1
   if j = 0 then return acker(i - 1,1)
   return acker(i - 1,acker(i,j - 1))
end