include GENERIC

ident		BENCH

nooptions 	INVARIANTS		# Enable calls of extra sanity checking
nooptions 	INVARIANT_SUPPORT	# Extra sanity checks of internal structures, required by INVARIANTS
nooptions 	WITNESS			# Enable checks to detect deadlocks and cycles