local succ