!*** MODULE $EFNDEF ***
CDEC$ OPTIONS /NOALIGN
	PARAMETER EFN$C_ENF = '00000080'X	!  Event No Flag (no stored state)
CDEC$ END OPTIONS