SunPro's #pragma does_not_return(...) needs an argument.  That does not
fit the attribute syntax we employ.