Must setjmp() be a macro?

[Doug Gwyn]

In article <669072342.15719 at mindcraft.com> fred at mindcraft.com (Fred Zlotnick) writes:
>	It is unspecified whether setjmp is a macro or an identifier
>	with external linkage.

That's the correct answer.

In the third public review, X3J11 responded to the observation that setjmp
(despite the note at the beginning of section 4.6) is not *necessarily* a
macro as follows:
	The intent is clear, and better wording would complicate the
	document unnecessarily.