Start to translate loop-as-tailrec