c, binary search example