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