DEFINE ack == [[[pop null] popd succ]
[[null] pop pred 1 ack]
[[dup pred swap] dip pred ack ack]]
cond.