Another mostly cosmetic question.<div>Does GCC support:</div><div><div>static NO_RETURN void fatal (const char *s1, const char *s2);</div><div><div>rather than</div><div>static void fatal (const char *s1, const char *s2) NO_RETURN;</div>

<br class="Apple-interchange-newline"></div>Fabrice
</div>