This function is used only once -- it should just be inlined.  The same is true of `get-let-name` and `let-name`.