ack:{:[0=x;y+1;0=y;_f[x-1;1];_f[x-1;_f[x;y-1]]]}
   ack[2;2]
7
   ack[2;7]
17