C lib for binarySearch