stdnoreturn.h