Looks that way. :) This is why I think arc.arc should look like:
(mac rfn yadda yada
"Recursive FN: an anonymous function that can call itself"
...implementation...)
FYI, CL is funny, both flet and labels elt us give names to loacl functions, but only those declared with labels can be called recursively. I wonder why flet got kept, backwards compatibility?
