num_primitives
for (i = 0; i < num_primitives(bv); i++)
bv->state_start = round_up(SZ_1K + num_primitives(bv) * 64, SZ_4K);