Translate loop-as-tailrec (cont.)