Make arena emits use IDs instead of names.