int64_t -> bitidx_t