bit vector checkpoint
from bv to ints