Implemented stdnoreturn.h