I imagine some kind of analogue to gensym would work there. The name can be throw away and guaranteed unique in scope. In fact, a lot of SICP examples have you

I imagine some kind of analogue to gensym would work there. The name can be throw away and guaranteed unique in scope. In fact, a lot of SICP examples have you define a function within a function with a name like "iter" for TCO recursion. It'd work like that. Edit: seems like gyka below confirms that's how it works. I should have read on!