Finish to translate loop-as-tailrec