Update binary_search.h