binfile	DEKEN GENERATED