5.4 listing for binary search, add comments