On 03/05/2018 02:50 AM, Ben Hutchings wrote: > I have no opinion on that code, but it sounded like you proposed to > remove the macro definition too. I wanted to point out that the macro > is meaningful and may be useful to applications. Useful in what sense? What are its semantics? Thanks, Florian