add bsearch spec