Currently, we number the extra domains/bits. And we include these numbers in the debug output. It would be nicer to have custom, more readable names.