Bruno Haible wrote:

> I like this wording.

OK, I merged that into the wording I proposed and installed the attached. One 
new point that I added is that I sometimes use 'assume (X)' to pacify GCC so 
that it does not issue a bogus warning in nearby code; this benefit of 'assume' 
is independent of the efficiency of the generated code.