Even with a loop, if you consider that you haven't finished looking into something until you've executed all sub-instructions, you would still have to keep track of everything in a stack. You would run out of memory at some point.