index (bitvec-sexp.index)