Symbol: id_alloc_specific