cdex_options([format=imp,
	      gen=[d(_,_),b4,c4],
	      sort_imp_bodies=1
	      ]).