Test double succ use