add ex_binsearch()