Comments on final steps in aborting
abbrev + memcmp() tie-break costs assumed to match