Able to compile loop example, still need to produce recursion for loop.