> BTW, is there a readon that we don't introduce loops for functions that > have both tail and non-tail self-calls? I can't think of one.