On 09/12/2012 06:15 PM, martin rudalics wrote:

>> Perhaps there's something smarter, but I hope the dumb answer
>> is good enough....
>
> ... it is ;-)

What if we join marking and killed buffer removal? Thus we
can avoid the infinite-loop on circularity and double walking
through the list (one for removal and one for marking)...

Dmitry