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