5.4 listing for binary search