separate file: binsearch.v -> sorted.v + binsearch.v