Symbol: stop_atid_allocator