zero-initialise bitvs in bitvManyNew
check validity of index passed for dvFormatUsage
of_deadv.c: Cover case of globals inside EEnsure.  They need to be marked.