In test-tightdb.cpp in the line: ``` // integers.InsertInt(0, p, (int64_t)rand2() % RANGE); ``` This line doesn't increase row count. So the second time it executes with p = 1, it fails.