slice: add binary search