update bitint bitvector using intger pointer