/* stdnoreturn.h, one macro.
*
* C23 deprecated it in favour of the `[[noreturn]]` attribute, and defining the macro under
* C23 would break a program that writes the attribute, since `noreturn` inside the brackets
* would expand. So the macro is not defined there. */