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