SortedVector now belongs to namespace mysvector