Is it true that ```vec``` and ```_marked_elements``` are always sorted?