add ID-allocation utilities