TESTS: renumbered tests in bitset-test.red