good,bad are better names than first,last for the arguments to p4-bisect start.
Explain reasoning in AMSBufferEmpty, as requested by RB <https://info.ravenbrook.com/mail/2014/04/16/12-42-33/0/>.