On 12 November 2011 15:04, Marc Glisse wrote: > > Debug-mode seems to check that first,last is a valid range, is a heap, but > not that it is not empty. Maybe it could? Good idea, thanks. I'll change that.