case 8:
146                        ++s->bulk_unique;
147                        obj_bulk_unique(__wt_random(&rnd) & 1);
148                        break;
   	dead_error_condition: The switch value __wt_random(&rnd) % 9U cannot be 9U.
   	
CID 1352894 (#1 of 1): Logically dead code (DEADCODE)
dead_error_begin: Execution cannot reach this statement: case 9U:.
149                case 9:
150                        ++s->create_unique;
151                        obj_create_unique(__wt_random(&rnd) & 1);
152                        break;
153                }
154