cdex_options([format=imp,
	      gen=[d(_,_)]
	     ]).