mikldk Compare sorted vectors #17