RE: [RFC 00/10] implement alternative and much simpler id allocator