Code Editor : stdnoreturn.h