Add allocator for IDs: