compile succ