C binary search