On Thu, Sep 6, 2018 at 3:30 PM Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > > This makes easier to discriminate in between different address > spaces. I think it also makes it obvious how much better it would be if the address space number was a string, not a number. Oh well. Linus