bsearch

netbsd/src 中 bsearch 的源代码,结合循环不变式来看,神啦