Re: An attempt to clean up binary search Arthur A. Gleckler 11 Nov 2021 19:59 UTC