static BitSet tok_remainingIndices(LS tok, BitSet marked) {
  new BitSet out;
  for (int i = 1; i < l(tok); i += 2)
    if (!getBit(marked, i))
      setBit(out, i);
  ret out;
}