Enumerated Domain Description

	Code:		DIVR
	Description:		Side channel divergence
	Source:		No source available.