diff --git a/cfg/std.cfg b/cfg/std.cfg
index 4282fc4bb..2bc67365e 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -44,8 +44,8 @@
   <function name="abs,std::abs">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;0?arg1:-arg1</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -56,8 +56,8 @@
   <function name="imaxabs,std::imaxabs">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="intmax_t">arg1&gt;0?arg1:-arg1</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -101,8 +101,8 @@
   <function name="acos,std::acos">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -112,8 +112,8 @@
   <function name="acosf,std::acosf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -123,8 +123,8 @@
   <function name="acosl,std::acosl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -134,8 +134,8 @@
   <function name="acosh,std::acosh">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -145,8 +145,8 @@
   <function name="acoshf,std::acoshf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -156,8 +156,8 @@
   <function name="acoshl,std::acoshl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -166,8 +166,8 @@
   <!-- char *asctime(const struct tm *tm) -->
   <function name="asctime,std::asctime">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -186,8 +186,8 @@
   <function name="sqrt,std::sqrt">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -197,8 +197,8 @@
   <function name="sqrtf,std::sqrtf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -208,8 +208,8 @@
   <function name="sqrtl,std::sqrtl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -231,8 +231,8 @@
   <function name="sinh,std::sinh">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -242,8 +242,8 @@
   <function name="sinhf,std::sinhf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -253,8 +253,8 @@
   <function name="sinhl,std::sinhl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -264,8 +264,8 @@
   <function name="sin,std::sin">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -275,8 +275,8 @@
   <function name="sinf,std::sinl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -286,8 +286,8 @@
   <function name="sinl,std::sinl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -321,8 +321,8 @@
   <function name="asin,std::asin">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -332,8 +332,8 @@
   <function name="asinf,std::asinf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -343,8 +343,8 @@
   <function name="asinl,std::asinl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -366,8 +366,8 @@
   <function name="asinh,std::asinh">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -377,8 +377,8 @@
   <function name="asinhf,std::asinhf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -388,8 +388,8 @@
   <function name="asinhl,std::asinhl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -410,8 +410,8 @@
   <!-- size_t wcsftime(wchar_t* ptr, size_t maxsize, const wchar_t* format, const struct tm* timeptr); -->
   <function name="wcsftime,std::wcsftime">
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -433,8 +433,8 @@
   <function name="tan,std::tan">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -444,8 +444,8 @@
   <function name="tanf,std::tanl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -455,8 +455,8 @@
   <function name="tanl,std::tanl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -478,8 +478,8 @@
   <function name="tanh,std::tanh">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -489,8 +489,8 @@
   <function name="tanhf,std::tanhf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -500,8 +500,8 @@
   <function name="tanhl,std::tanhl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -522,8 +522,8 @@
   <!-- int feclearexcept(int excepts); -->
   <function name="feclearexcept,std::feclearexcept">
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -531,8 +531,8 @@
   </function>
   <!-- int fegetenv(fenv_t* envp); -->
   <function name="fegetenv,std::fegetenv">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -540,8 +540,8 @@
   </function>
   <!-- int fegetexceptflag(fexcept_t* flagp, int excepts); -->
   <function name="fegetexceptflag,std::fegetexceptflag">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -554,14 +554,14 @@
   <function name="fegetround,std::fegetround">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
   <!-- int feholdexcept(fenv_t* envp); -->
   <function name="feholdexcept,std::feholdexcept">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -569,8 +569,8 @@
   </function>
   <!-- int feraiseexcept(int excepts); -->
   <function name="feraiseexcept,std::feraiseexcept">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -578,8 +578,8 @@
   </function>
   <!-- int fesetenv(const fenv_t* envp); -->
   <function name="fesetenv,std::fesetenv">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -588,8 +588,8 @@
   </function>
   <!-- int fesetexceptflag(const fexcept_t* flagp, int excepts); -->
   <function name="fesetexceptflag,std::fesetexceptflag">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -601,8 +601,8 @@
   </function>
   <!-- int fesetround(int rdir); -->
   <function name="fesetround,std::fesetround">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -610,8 +610,8 @@
   </function>
   <!-- int fetestexcept(int excepts); -->
   <function name="fetestexcept,std::fetestexcept">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -619,8 +619,8 @@
   </function>
   <!-- int feupdateenv(const fenv_t* envp); -->
   <function name="feupdateenv,std::feupdateenv">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -631,8 +631,8 @@
   <function name="atan,std::atan">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -642,8 +642,8 @@
   <function name="atanf,std::atanf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -653,8 +653,8 @@
   <function name="atanl,std::atanl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -676,8 +676,8 @@
   <function name="tgamma,std::tgamma">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -687,8 +687,8 @@
   <function name="tgammaf,std::tgammaf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -698,8 +698,8 @@
   <function name="tgammal,std::tgammal">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -709,8 +709,8 @@
   <function name="trunc,std::trunc">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -720,8 +720,8 @@
   <function name="truncf,std::truncf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -731,8 +731,8 @@
   <function name="truncl,std::truncl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -742,8 +742,8 @@
   <function name="atanh,std::atanh">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -753,8 +753,8 @@
   <function name="atanhf,std::atanhf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -764,8 +764,8 @@
   <function name="atanhl,std::atanhl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -787,8 +787,8 @@
   <function name="atan2,std::atan2">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -801,8 +801,8 @@
   <function name="atan2f,std::atan2f">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -815,8 +815,8 @@
   <function name="atan2l,std::atan2l">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -828,8 +828,8 @@
   <!-- int atexit(void (*func)(void)); -->
   <function name="atexit,std::atexit">
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -839,8 +839,8 @@
   <function name="atoi,std::atoi">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -852,8 +852,8 @@
   <function name="atol,std::atol">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -865,8 +865,8 @@
   <function name="atoll,std::atoll">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long long int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -878,8 +878,8 @@
   <function name="atof,std::atof">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -904,8 +904,8 @@
   <function name="ceil,std::ceil">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -915,8 +915,8 @@
   <function name="ceilf,std::ceilf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -926,8 +926,8 @@
   <function name="ceill,std::ceill">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -937,8 +937,8 @@
   <function name="copysign,std::copysign">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -951,8 +951,8 @@
   <function name="copysignf,std::copysignf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -965,8 +965,8 @@
   <function name="copysignl,std::copysignl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -987,16 +987,16 @@
   <!-- clock_t clock(void); -->
   <function name="clock">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="clock_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
   <!-- double cbrt(double x); -->
   <function name="cbrt,std::cbrt">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1006,8 +1006,8 @@
   <function name="cbrtf,std::cbrtf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1017,8 +1017,8 @@
   <function name="cbrtl,std::cbrtl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1028,8 +1028,8 @@
   <function name="cos,std::cos">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1039,8 +1039,8 @@
   <function name="cosf,std::cosf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1050,8 +1050,8 @@
   <function name="cosl,std::cosl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1073,8 +1073,8 @@
   <function name="cosh,std::cosh">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1084,8 +1084,8 @@
   <function name="coshf,std::coshf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1095,8 +1095,8 @@
   <function name="coshl,std::coshl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1117,8 +1117,8 @@
   <!-- char * ctime(const time_t *tp); -->
   <function name="ctime,std::ctime">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -1128,8 +1128,8 @@
   <!-- double difftime(time_t time2, time_t time1); -->
   <function name="difftime,std::difftime">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1141,8 +1141,8 @@
   <!-- div_t div(int num, int denom); -->
   <function name="div,std::div">
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="div_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1155,8 +1155,8 @@
   <!-- imaxdiv_t imaxdiv (intmax_t numer, intmax_t denom); -->
   <function name="imaxdiv,std::imaxdiv">
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="imaxdiv_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1177,8 +1177,8 @@
   <function name="erf,std::erf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1188,8 +1188,8 @@
   <function name="erff,std::erff">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1199,8 +1199,8 @@
   <function name="erfl,std::erfl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1210,8 +1210,8 @@
   <function name="erfc,std::erfc">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1221,8 +1221,8 @@
   <function name="erfcf,std::erfcf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1232,8 +1232,8 @@
   <function name="erfcl,std::erfcl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1243,8 +1243,8 @@
   <function name="carg">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1254,8 +1254,8 @@
   <function name="cargf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1265,8 +1265,8 @@
   <function name="cargl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1276,8 +1276,8 @@
   <function name="exp,std::exp">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1287,8 +1287,8 @@
   <function name="expf,std::expf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1298,8 +1298,8 @@
   <function name="expl,std::expl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1333,8 +1333,8 @@
   <function name="exp2,std::exp2">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1344,8 +1344,8 @@
   <function name="exp2f,std::exp2f">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1355,8 +1355,8 @@
   <function name="exp2l,std::exp2l">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1366,8 +1366,8 @@
   <function name="expm1,std::expm1">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1377,8 +1377,8 @@
   <function name="expm1f,std::expm1f">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1388,8 +1388,8 @@
   <function name="expm1l,std::expm1l">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1406,8 +1406,8 @@
   <function name="fabs,std::fabs">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1417,8 +1417,8 @@
   <function name="fabsf,std::fabsf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1428,8 +1428,8 @@
   <function name="fabsl,std::fabsl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1439,8 +1439,8 @@
   <function name="fdim,std::fdim">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1453,8 +1453,8 @@
   <function name="fdimf,std::fdimf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1467,8 +1467,8 @@
   <function name="fdiml,std::fdiml">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1479,8 +1479,8 @@
   </function>
   <!-- int fclose(FILE * stream); -->
   <function name="fclose,std::fclose">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
       <not-uninit/>
@@ -1489,8 +1489,8 @@
   <!-- int feof(FILE *stream); -->
   <function name="feof,std::feof">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -1500,8 +1500,8 @@
   <!-- int ferror(FILE *stream);-->
   <function name="ferror,std::ferror">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -1510,8 +1510,8 @@
   </function>
   <!-- int fflush(FILE *stream); -->
   <function name="fflush,std::fflush">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1520,8 +1520,8 @@
   <!-- int fgetc(FILE *stream); -->
   <!-- int getc(FILE *stream); -->
   <function name="fgetc,std::fgetc,getc,std::getc">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -1531,8 +1531,8 @@
   <!-- wint_t fgetwc(FILE * stream); -->
   <!-- wint_t getwc(FILE* stream); -->
   <function name="fgetwc,std::fgetwc,getc,getwc,std::getwc">
-    <noreturn>false</noreturn>
     <returnValue type="wint_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -1541,8 +1541,8 @@
   </function>
   <!-- int fgetpos(FILE* stream, fpos_t *ptr); -->
   <function name="fgetpos,std::fgetpos">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -1556,8 +1556,8 @@
   <function name="floor,std::floor">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1567,8 +1567,8 @@
   <function name="floorf,std::floorf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1578,8 +1578,8 @@
   <function name="floorl,std::floorl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1589,8 +1589,8 @@
   <function name="fma,std::fma">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1606,8 +1606,8 @@
   <function name="fmaf,std::fmaf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1623,8 +1623,8 @@
   <function name="fmal,std::fmal">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1640,8 +1640,8 @@
   <function name="fmax,std::fmax">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1654,8 +1654,8 @@
   <function name="fmaxf,std::fmaxf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1668,8 +1668,8 @@
   <function name="fmaxl,std::fmaxl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1682,8 +1682,8 @@
   <function name="fmin,std::fmin">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1696,8 +1696,8 @@
   <function name="fminf,std::fminf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1710,8 +1710,8 @@
   <function name="fminl,std::fminl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1724,8 +1724,8 @@
   <function name="fmod,std::fmod">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1738,8 +1738,8 @@
   <function name="fmodf,std::fmodf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1752,8 +1752,8 @@
   <function name="fmodl,std::fmodl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1765,8 +1765,8 @@
   <!-- FILE * fopen(const char *filename, const char* mode); -->
   <function name="fopen,std::fopen">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="FILE *"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
       <not-uninit/>
@@ -1781,8 +1781,8 @@
   <!--                 const char *restrict filename,-->
   <!--                 const char *restrict mode); -->
   <function name="fopen_s">
-    <noreturn>false</noreturn>
     <returnValue type="errno_t"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
     </arg>
@@ -1798,8 +1798,8 @@
   </function>
   <!-- int fprintf(FILE *stream, const char *format, ...); -->
   <function name="fprintf,std::fprintf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -1813,8 +1813,8 @@
   </function>
   <!-- int vfprintf(FILE *stream, const char *format, va_list arg); -->
   <function name="vfprintf,std::vfprintf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -1827,8 +1827,8 @@
   </function>
   <!-- int vfwprintf(FILE *stream, const wchar_t *format, va_list arg); -->
   <function name="vfwprintf,std::vfwprintf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -1841,8 +1841,8 @@
   </function>
   <!-- int fputc(int c, FILE *stream); -->
   <function name="fputc,std::fputc">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1856,8 +1856,8 @@
   </function>
   <!-- wint_t fputwc(wchar_t wc, FILE * stream); -->
   <function name="fputwc,std::fputwc">
-    <noreturn>false</noreturn>
     <returnValue type="wint_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1870,8 +1870,8 @@
   </function>
   <!-- int fputs(const char *string, FILE* stream); -->
   <function name="fputs,std::fputs">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -1885,8 +1885,8 @@
   </function>
   <!-- int fputws(const wchar_t* ws, FILE* stream); -->
   <function name="fputws,std::fputws">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -1899,8 +1899,8 @@
   </function>
   <!-- size_t fread(void *ptr, size_t size, size_t nobj, FILE *stream); -->
   <function name="fread,std::fread">
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -1929,8 +1929,8 @@
   <!-- FILE *freopen(const char *filename, const char *mode, FILE *stream); -->
   <function name="freopen,std::freopen">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="FILE *"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
       <strz/>
@@ -1947,8 +1947,8 @@
   <!-- errno_t freopen_s(FILE *restrict *restrict newstreamptr, const char *restrict filename, const char *restrict mode, FILE *restrict stream) -->
   <function name="freopen_s">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="errno_t"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
     </arg>
@@ -1966,8 +1966,8 @@
   </function>
   <!-- double frexp(double x, int *exp); -->
   <function name="frexp,std::frexp">
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1978,8 +1978,8 @@
   </function>
   <!-- float frexpf(float x, int *exp); -->
   <function name="frexpf,std::frexpf">
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -1990,8 +1990,8 @@
   </function>
   <!-- long double frexpl(long double x, int *exp); -->
   <function name="frexpl,std::frexpl">
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2005,8 +2005,8 @@
   <function name="hypot,std::hypot">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2022,8 +2022,8 @@
   <function name="hypotf,std::hypotf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2036,8 +2036,8 @@
   <function name="hypotl,std::hypotl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2048,8 +2048,8 @@
   </function>
   <!-- int fscanf(FILE *stream, const char *format, ...); -->
   <function name="fscanf,std::fscanf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2062,8 +2062,8 @@
   </function>
   <!-- int vfscanf(FILE *stream, const char * format, va_list arg); -->
   <function name="vfscanf,std::vfscanf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2075,8 +2075,8 @@
   </function>
   <!-- int vfwscanf(FILE *stream, const wchar_t * format, va_list arg); -->
   <function name="vfwscanf,std::vfwscanf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2089,8 +2089,8 @@
   </function>
   <!-- int fseek(FILE* stream, long int offset, int origin); -->
   <function name="fseek,std::fseek">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -2105,8 +2105,8 @@
   </function>
   <!-- int fsetpos(FILE *stream, const fpos_t *ptr); -->
   <function name="fsetpos,std::fsetpos">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -2119,8 +2119,8 @@
   </function>
   <!-- char * fgets(char *buffer, int n, FILE *stream); -->
   <function name="fgets,std::fgets">
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -2138,8 +2138,8 @@
   </function>
   <!-- wchar_t* fgetws(wchar_t* ws, int num, FILE* stream); -->
   <function name="fgetws,std::fgetws">
-    <noreturn>false</noreturn>
     <returnValue type="wchar_t*"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -2158,8 +2158,8 @@
   <!-- long int ftell(FILE *stream); -->
   <function name="ftell,std::ftell">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="long int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -2168,8 +2168,8 @@
   </function>
   <!-- int fwide(FILE* stream, int mode); -->
   <function name="fwide,std::fwide">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -2181,8 +2181,8 @@
   </function>
   <!-- size_t fwrite(const void *ptr, size_t size, size_t nobj, FILE *stream); -->
   <function name="fwrite,std::fwrite">
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -2204,8 +2204,8 @@
   </function>
   <!-- int mblen(const char *string, size_t size); -->
   <function name="mblen,std::mblen">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2217,8 +2217,8 @@
   </function>
   <!-- int mbtowc(wchar_t* pwc, const char* pmb, size_t max); -->
   <function name="mbtowc,std::mbtowc">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="2">
       <not-uninit/>
@@ -2230,8 +2230,8 @@
   </function>
   <!-- size_t mbrlen(const char* pmb, size_t max, mbstate_t* ps); -->
   <function name="mbrlen,std::mbrlen">
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -2249,8 +2249,8 @@
   <function name="btowc,std::btowc">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="wint_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2259,8 +2259,8 @@
   </function>
   <!-- int mbsinit(const mbstate_t* ps); -->
   <function name="mbsinit,std::mbsinit">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2268,14 +2268,14 @@
   </function>
   <!-- wint_t getwchar(void); -->
   <function name="getwchar">
-    <noreturn>false</noreturn>
     <returnValue type="wint_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
   <!-- size_t mbstowcs(wchar_t *ws, const char *s, size_t n); -->
   <function name="mbstowcs,std::mbstowcs">
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="2">
       <not-null/>
@@ -2288,8 +2288,8 @@
   </function>
   <!-- size_t mbsrtowcs(wchar_t* dest, const char** src, size_t max, mbstate_t* ps); -->
   <function name="mbsrtowcs,std::mbsrtowcs">
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="2">
       <not-null/>
@@ -2307,8 +2307,8 @@
   <function name="wctob,std::wctob">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2316,8 +2316,8 @@
   </function>
   <!-- int wctomb(char *s, wchar_t wchar); -->
   <function name="wctomb,std::wctomb">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2328,8 +2328,8 @@
   </function>
   <!-- size_t wcstombs(char *mbstr, const wchar_t *wcstr, size_t n);-->
   <function name="wcstombs,std::wcstombs">
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="2">
       <not-null/>
@@ -2342,14 +2342,14 @@
   </function>
   <!-- int getchar(void); -->
   <function name="getchar">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
   <!-- int ungetc(int c, FILE *stream); -->
   <function name="ungetc,std::ungetc">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2362,8 +2362,8 @@
   </function>
   <!-- wint_t ungetwc(wint_t c, FILE *stream); -->
   <function name="ungetwc,std::ungetwc">
-    <noreturn>false</noreturn>
     <returnValue type="wint_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2376,8 +2376,8 @@
   <!-- char * getenv(const char *name); -->
   <function name="getenv,std::getenv">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -2387,8 +2387,8 @@
   </function>
   <!-- char *gets(char *buffer); -->
   <function name="gets,std::gets">
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -2398,8 +2398,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- char *gets_s(char *buffer, rsize_t size); -->
   <function name="gets_s,std::gets_s">
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -2426,8 +2426,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isalnum,std::isalnum">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x30 &amp;&amp; arg1&lt;=0x39 || arg1&gt;=0x41 &amp;&amp; arg1 &lt;=0x5A || arg1&gt;=0x61 &amp;&amp; arg1 &lt;=0x7A</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2438,8 +2438,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="iswalnum,std::iswalnum">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x30 &amp;&amp; arg1&lt;=0x39 || arg1&gt;=0x41 &amp;&amp; arg1 &lt;=0x5A || arg1&gt;=0x61 &amp;&amp; arg1 &lt;=0x7A</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2449,8 +2449,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isalpha,std::isalpha">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;='A' &amp;&amp; arg1&lt;='Z' || arg1&gt;='a' &amp;&amp; arg1 &lt;='z'</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2461,8 +2461,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="iswalpha,std::iswalpha">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;='A' &amp;&amp; arg1&lt;='Z' || arg1&gt;='a' &amp;&amp; arg1 &lt;='z'</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2472,8 +2472,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isblank,std::isblank">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1==' ' || arg1=='\t'</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2484,8 +2484,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="iswblank,std::iswblank">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1==' ' || arg1=='\t'</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2495,8 +2495,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="iscntrl,std::iscntrl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1==0x7F || arg1&lt;=0x1F</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2507,8 +2507,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="iswcntrl,std::iswcntrl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1==0x7F || arg1&lt;=0x1F</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2518,8 +2518,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="iswctype,std::iswctype">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2532,8 +2532,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isdigit,std::isdigit">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;='0' &amp;&amp; arg1&lt;='9'</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2544,8 +2544,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="iswdigit,std::iswdigit">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;='0' &amp;&amp; arg1&lt;='9'</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2555,8 +2555,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isgraph,std::isgraph">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x21 &amp;&amp; arg1&lt;=0x7E</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2567,8 +2567,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="iswgraph,std::iswgraph">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x21 &amp;&amp; arg1&lt;=0x7E</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2578,8 +2578,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="islower,std::islower">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x61 &amp;&amp; arg1&lt;=0x7A</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2590,8 +2590,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="iswlower,std::iswlower">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x61 &amp;&amp; arg1&lt;=0x7A</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2601,8 +2601,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isprint,std::isprint">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x20 &amp;&amp; arg1&lt;=0x7E</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2613,8 +2613,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="iswprint,std::iswprint">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x20 &amp;&amp; arg1&lt;=0x7E</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2624,8 +2624,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="ispunct,std::ispunct">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x21 &amp;&amp; arg1&lt;=0x2F || arg1&gt;=0x3A &amp;&amp; arg1&lt;=0x40 || arg1&gt;=0x5B &amp;&amp; arg1&lt;=0x60 || arg1&gt;=0x7B &amp;&amp; arg1&lt;=0x7E</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2636,8 +2636,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="iswpunct,std::iswpunct">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x21 &amp;&amp; arg1&lt;=0x2F || arg1&gt;=0x3A &amp;&amp; arg1&lt;=0x40 || arg1&gt;=0x5B &amp;&amp; arg1&lt;=0x60 || arg1&gt;=0x7B &amp;&amp; arg1&lt;=0x7E</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2647,8 +2647,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isspace,std::isspace">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x09 &amp;&amp; arg1&lt;=0x0D || arg1==0x20</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2659,8 +2659,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="iswspace,std::iswspace">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x09 &amp;&amp; arg1&lt;=0x0D || arg1==0x20</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2670,8 +2670,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isupper,std::isupper">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x41 &amp;&amp; arg1&lt;=0x5A</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2682,8 +2682,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="iswupper,std::iswupper">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x41 &amp;&amp; arg1&lt;=0x5A</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2693,8 +2693,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isxdigit,std::isxdigit">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x30 &amp;&amp; arg1&lt;=0x39 || arg1&gt;=0x41 &amp;&amp; arg1&lt;=0x46 || arg1&gt;=0x61 &amp;&amp; arg1&lt;=0x66</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2705,8 +2705,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="iswxdigit,std::iswxdigit">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int">arg1&gt;=0x30 &amp;&amp; arg1&lt;=0x39 || arg1&gt;=0x41 &amp;&amp; arg1&lt;=0x46 || arg1&gt;=0x61 &amp;&amp; arg1&lt;=0x66</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2716,8 +2716,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="towctrans,std::towctrans">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="wint_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2730,8 +2730,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="towlower,std::towlower">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="wint_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2741,8 +2741,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="towupper,std::towupper">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="wint_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2752,8 +2752,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="wctrans,std::wctrans">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="wctype_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -2764,8 +2764,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="wctype,std::wctype">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="wctype_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -2812,8 +2812,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="labs,std::labs">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long int">arg1&gt;0?arg1:-arg1</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2823,8 +2823,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="llabs,std::llabs">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long long int">arg1&gt;0?arg1:-arg1</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2834,8 +2834,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="ldexp,std::ldexp">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2848,8 +2848,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="ldexpf,std::ldexpf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2862,8 +2862,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="ldexpl,std::ldexpl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2876,8 +2876,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="lgamma,std::lgamma">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2887,8 +2887,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="lgammaf,std::lgammaf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2898,8 +2898,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="lgammal,std::lgammal">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2909,8 +2909,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="rint,std::rint">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2920,8 +2920,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="rintf,std::rintf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2931,8 +2931,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="rintl,std::rintl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2944,8 +2944,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="lrint,std::lrint,lrintf,std::lrintf,lrintl,std::lrintl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2957,8 +2957,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="llrint,std::llrint,llrintf,std::llrintf,llrintl,std::llrintl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long long int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2970,8 +2970,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="llround,std::llround,llroundf,std::llroundf,llroundl,std::llroundl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long long int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2983,8 +2983,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="lround,std::lround,lroundf,std::lroundf,lroundl,std::lroundl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -2993,8 +2993,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- int rand(void); -->
   <function name="rand">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
   <!-- void srand(unsigned int seed); -->
@@ -3009,8 +3009,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- ldiv_t ldiv(long int num, long int denom); -->
   <function name="ldiv,lldiv,std::ldiv,std::lldiv">
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="ldiv_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3023,8 +3023,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- lldiv_t lldiv(long long int num, long long int denom); -->
   <function name="ldiv,lldiv,std::ldiv,std::lldiv">
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="lldiv_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3036,8 +3036,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- struct tm * localtime(const time_t *tp); -->
   <function name="localtime,std::localtime">
-    <noreturn>false</noreturn>
     <returnValue type="struct tm *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -3046,8 +3046,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- struct tm *localtime_s(const time_t *restrict time, struct tm *restrict result) -->
   <function name="localtime_s,std::localtime_s">
-    <noreturn>false</noreturn>
     <returnValue type="struct tm *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -3059,8 +3059,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- double log(double x); -->
   <function name="log,std::log">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3069,8 +3069,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- float logf(float x); -->
   <function name="logf,std::logf">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3079,8 +3079,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- long double logl(long double x);-->
   <function name="logl,std::logl">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3112,8 +3112,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="fpclassify,std::fpclassify">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3123,8 +3123,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isfinite,std::isfinite">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3134,8 +3134,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isgreater,std::isgreater">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3148,8 +3148,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isgreaterequal,std::isgreaterequal">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3162,8 +3162,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isinf,std::isinf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3173,8 +3173,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="logb,std::logb">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3184,8 +3184,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="logbf,std::logbf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3195,8 +3195,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="logbl,std::logbl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3206,8 +3206,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isless,std::isless">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3220,8 +3220,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="islessequal,std::islessequal">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3234,8 +3234,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="islessgreater,std::islessgreater">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3248,8 +3248,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="nan,std::nan">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -3260,8 +3260,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="nanf,std::nanf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -3272,8 +3272,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="nanl,std::nanl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -3284,8 +3284,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isnan,std::isnan">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3295,8 +3295,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isnormal,std::isnormal">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3306,8 +3306,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="isunordered,std::isunordered">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3320,8 +3320,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="ilogb,std::ilogb">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3331,8 +3331,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="ilogbf,std::ilogbf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3342,8 +3342,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="ilogbl,std::ilogbl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3353,8 +3353,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="log10,std::log10">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3364,8 +3364,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="log10f,std::log10f">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3375,8 +3375,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="log10l,std::log10l">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3386,8 +3386,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="log1p,std::log1p">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3397,8 +3397,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="log1pf,std::log1pf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3408,8 +3408,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="log1pl,std::log1pl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3419,8 +3419,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="log2,std::log2">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3430,8 +3430,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="log2f,std::log2f">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3441,8 +3441,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="log2l,std::log2l">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3452,8 +3452,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="nearbyint,std::nearbyint">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3463,8 +3463,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="nearbyintf,std::nearbyintf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3474,8 +3474,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="nearbyintl,std::nearbyintl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3485,8 +3485,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="nextafter,std::nextafter">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3499,8 +3499,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="nextafterf,std::nextafterf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3513,8 +3513,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="nextafterl,std::nextafterl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3527,8 +3527,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="nexttoward,std::nexttoward">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3541,8 +3541,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="nexttowardf,std::nexttowardf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3555,8 +3555,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="nexttowardl,std::nexttowardl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3579,8 +3579,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- void * malloc(size_t size); -->
   <function name="malloc,std::malloc">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="void *"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
       <valid>0:</valid>
@@ -3589,8 +3589,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- void *alloca(size_t size); -->
   <function name="alloca">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="void *"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
       <valid>0:</valid>
@@ -3601,8 +3601,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="memchr,std::memchr">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="void *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -3624,8 +3624,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="wmemchr,std::wmemchr">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="wchar_t *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -3647,8 +3647,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="memcmp,std::memcmp">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -3670,8 +3670,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="wmemcmp,std::wmemcmp">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -3712,8 +3712,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- errno_t  memcpy_s( void *restrict dest, rsize_t destsz, const void *restrict src, rsize_t count );-->
   <!-- errno_t wmemcpy_s( wchar_t *restrict dest, rsize_t destsz, const wchar_t *restrict src, rsize_t count );-->
   <function name="memcpy_s,wmemcpy_s">
-    <noreturn>false</noreturn>
     <returnValue type="errno_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -3755,8 +3755,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- errno_t memset_s( void *dest, rsize_t destsz, int ch, rsize_t count ) -->
   <function name="memset_s">
-    <noreturn>false</noreturn>
     <returnValue type="errno_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -3776,8 +3776,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- void *memset(void *s, int c, size_t n); -->
   <function name="memset,std::memset">
-    <noreturn>false</noreturn>
     <returnValue type="void *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -3794,8 +3794,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- wchar_t *wmemset(wchar_t *s, wchar_t c, size_t n); -->
   <function name="wmemset,std::wmemset">
-    <noreturn>false</noreturn>
     <returnValue type="wchar_t *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -3813,8 +3813,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- time_t mktime(struct tm *tp); -->
   <!-- time_t mkxtime(struct tmx *tp); -->
   <function name="mktime,std::mktime,mkxtime">
-    <noreturn>false</noreturn>
     <returnValue type="time_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -3823,8 +3823,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- double modf(double x, double *ip); -->
   <function name="modf,std::modf">
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3835,8 +3835,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- float modff(float x, float *ip); -->
   <function name="modff,std::modff">
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3847,8 +3847,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- long double modfl(long double x, long double *ip); -->
   <function name="modfl,std::modfl">
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3869,8 +3869,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="pow,std::pow">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3883,8 +3883,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="powf,std::powf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3897,8 +3897,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="powl,std::powl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3926,8 +3926,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="remainder,std::remainder">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3940,8 +3940,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="remainderf,std::remainderf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3954,8 +3954,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="remainderl,std::remainderl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3968,8 +3968,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="remquo,std::remquo">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -3985,8 +3985,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="remquof,std::remquof">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4002,8 +4002,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="remquol,std::remquol">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4017,8 +4017,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int printf(const char *format, ...); -->
   <function name="printf,std::printf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <formatstr/>
     <arg nr="1">
@@ -4028,8 +4028,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int vprintf(const char *format, va_list arg); -->
   <function name="vprintf,std::vprintf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4038,8 +4038,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int vwprintf(const wchar_t *format, va_list arg); -->
   <function name="vwprintf,std::vwprintf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4050,8 +4050,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="bsearch,std::bsearch">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="void *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4097,8 +4097,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int putc(int c, FILE *stream); -->
   <function name="putc,std::putc">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4112,8 +4112,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- wint_t putwc(wchar_t wc, FILE* stream); -->
   <function name="putwc,std::putwc">
-    <noreturn>false</noreturn>
     <returnValue type="wint_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4125,8 +4125,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int puthchar(int c); -->
   <function name="putchar,std::putchar">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4136,8 +4136,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- wint_t putwchar(wchar_t wc); -->
   <function name="putwchar,std::putwchar">
-    <noreturn>false</noreturn>
     <returnValue type="wint_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4145,8 +4145,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int puts(const char *string); -->
   <function name="puts,std::puts">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4157,8 +4157,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- void *realloc(void *block, size_t newsize); -->
   <function name="realloc,std::realloc">
-    <noreturn>false</noreturn>
     <returnValue type="void *"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
     </arg>
@@ -4169,8 +4169,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int remove(const char *filename); -->
   <function name="remove,std::remove">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4180,8 +4180,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int rename(const char *oldname, const char *newname); -->
   <function name="rename,std::rename">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4207,8 +4207,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="round,std::round">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4218,8 +4218,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="roundf,std::roundf">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4229,8 +4229,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="roundl,std::roundl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4245,8 +4245,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="scalbn,std::scalbn,scalbnf,std::scalbnf,scalbnl,std::scalbnl,scalbln,std::scalbln,scalblnf,std::scalblnf,scalblnl,std::scalblnl">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="long long int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4259,8 +4259,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="signbit,std::signbit">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4276,16 +4276,16 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int raise(int sig); -->
   <function name="raise,std::raise">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
     </arg>
   </function>
   <!-- int scanf(const char *format, ...); -->
   <function name="scanf,std::scanf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <formatstr scan="true"/>
     <arg nr="1">
@@ -4296,8 +4296,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int vsscanf(const char *s, const char *format, va_list arg); -->
   <function name="vsscanf,std::vsscanf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4311,8 +4311,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int vswscanf(const wchar_t *s, const wchar_t *format, va_list arg); -->
   <function name="vswscanf,std::vswscanf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4326,8 +4326,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int vscanf(const char *format, va_list arg); -->
   <function name="vscanf,std::vscanf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4337,8 +4337,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int vscanf(const wchar_t *format, va_list arg); -->
   <function name="vwscanf,std::vwscanf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4347,8 +4347,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- void setbuf(FILE *stream, char *buf); -->
   <function name="setbuf,std::setbuf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4360,8 +4360,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int setvbuf(FILE* stream, char *buf, int mode, size_t size); -->
   <function name="setvbuf,std::setvbuf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4380,15 +4380,15 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int setjmp(jmp_buf env); -->
   <function name="setjmp">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1"/>
   </function>
   <!-- char * strcat(char *deststr, const char *srcstr); -->
   <function name="strcat,std::strcat">
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4403,8 +4403,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- wchar_t wcscat(wchar_t *deststr, const char *srcstr); -->
   <function name="wcscat,std::wcscat">
-    <noreturn>false</noreturn>
     <returnValue type="wchar_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4416,8 +4416,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- size_t wcrtomb(char *s, wchar_t wc, mbstate_t *ps); -->
   <function name="wcrtomb,std::wcrtomb">
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="2">
       <not-uninit/>
@@ -4427,8 +4427,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- char * strchr(const char *cs, int c); -->
   <function name="strchr,std::strchr">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4442,8 +4442,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- wchar_t wcschr(const wchar_t *cs, wchar_t c); -->
   <function name="wcschr,std::wcschr">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="wchar_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4457,8 +4457,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="strcmp,std::strcmp">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4475,8 +4475,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="wcscmp,std::wcscmp">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4489,8 +4489,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- char *strcpy(char *desstr, const char *srcstr); -->
   <function name="strcpy,std::strcpy">
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4504,8 +4504,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- wchar_t *wcscpy(wchar_t *deststr, const wchar_t *srcstr); -->
   <function name="wcscpy,std::wcscpy">
-    <noreturn>false</noreturn>
     <returnValue type="wchar_t *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4518,8 +4518,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- size_t strftime(char *s, size_t max, const char *fmt, const struct tm *p); -->
   <!-- size_t strfxtime(char *s, size_t max, const char *fmt, const struct tmx *p); -->
   <function name="strftime,std::strftime,strfxtime">
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4542,8 +4542,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="strlen,std::strlen,wcslen,std::wcslen">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="size_t">strlen(arg1)</returnValue>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4553,8 +4553,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- char *strncpy(char *s, const char *ct, size_t n); -->
   <function name="strncpy,std::strncpy">
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4574,8 +4574,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- char * strpbrk(const char *cs, const char *ct); -->
   <function name="strpbrk,std::strpbrk">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4588,8 +4588,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- char * strncat(char *ct, const char *s, size_t n); -->
   <function name="strncat,std::strncat">
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4631,8 +4631,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="strncmp,std::strncmp">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4652,8 +4652,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="wcsncmp,std::wcsncmp">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4672,8 +4672,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- char* strstr(const char *s1, const char *s2); -->
   <function name="strstr,std::strstr">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4690,8 +4690,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="wcsstr,std::wcsstr">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="wchar_t *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4705,8 +4705,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- size_t strspn(const char *cs, const char *ct); -->
   <function name="strspn,std::strspn">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4721,8 +4721,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- size_t strxfrm(char *ds, const char *ss, size_t n); -->
   <function name="strxfrm,std::strxfrm">
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="2">
       <not-null/>
@@ -4735,8 +4735,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- size_t wcsxfrm(wchar_t *s1, const wchar_t *s2, size_t n); -->
   <function name="wcsxfrm,std::wcsxfrm">
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4754,8 +4754,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="wcsspn,std::wcsspn">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4769,15 +4769,15 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- struct lconv* localeconv(void); -->
   <function name="localeconv,std::localeconv">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="struct lconv*"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
   <!-- static std::locale std::locale::global( const locale& loc ); -->
   <function name="std::locale::global">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="struct std::locale"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4791,8 +4791,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- char* setlocale(int category, const char* locale); -->
   <function name="setlocale,std::setlocale">
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4804,8 +4804,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- char * strerror(int errornum); -->
   <function name="strerror,std::strerror">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4815,8 +4815,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="strcspn,std::strcspn">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4831,8 +4831,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="wcscspn,std::wcscspn">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4846,8 +4846,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- wchar_t * wcspbrk(const wchar_t *ct, wchar_t *c); -->
   <function name="wcspbrk,std::wcspbrk">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="wchar_t *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4859,8 +4859,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- wchar_t * wcsncpy(wchar_t *s, const wchar_t *cs, size_t n); -->
   <function name="wcsncpy,std::wcsncpy">
-    <noreturn>false</noreturn>
     <returnValue type="wchar_t *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4877,8 +4877,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- int strcoll(const char *cs, const char *c); -->
   <function name="strcoll,std::strcoll">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4892,8 +4892,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- int wcscoll(const wchar_t *s1, const wchar_t *s2); -->
   <function name="wcscoll,std::wcscoll">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4908,8 +4908,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- char * strrchr(char * str, int character); -->
   <function name="strrchr,std::strrchr">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4926,8 +4926,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="strbprk">
     <use-retval/>
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4942,8 +4942,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- wchar_t* wcsrchr(wchar_t* ws, wchar_t wc); -->
   <function name="wcsrchr,std::wcsrchr">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="wchar_t *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -4955,8 +4955,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- size_t wcsrtombs(char *dst, const wchar_t **src, size_t len, mbstate_t *ps); -->
   <function name="wcsrtombs,std::wcsrtombs">
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="2">
       <not-null/>
@@ -4973,8 +4973,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- char *strtok(char *s, const char *ct); -->
   <function name="strtok,std::strtok">
     <pure/>
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -4986,8 +4986,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- intmax_t strtoimax(const char *s, char **endp, int base); -->
   <function name="strtoimax,std::strtoimax">
-    <noreturn>false</noreturn>
     <returnValue type="intmax_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5000,8 +5000,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- uintmax_t strtoumax(const char *s, char **endp, int base); -->
   <function name="strtoumax,std::strtoumax">
-    <noreturn>false</noreturn>
     <returnValue type="uintmax_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5014,8 +5014,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- float strtof(const char *s, char **endp); -->
   <function name="strtof,std::strtof">
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5026,8 +5026,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- double strtod(const char *s, char **endp); -->
   <function name="strtod,std::strtod">
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5038,8 +5038,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- long double strtold(const char *s, char **endp); -->
   <function name="strtold,std::strtold">
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5050,8 +5050,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- long strtol(const char *s, char **endp, int base); -->
   <function name="strtol,std::strtol">
-    <noreturn>false</noreturn>
     <returnValue type="long"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5065,8 +5065,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- unsigned long strtoul(const char *s, char **endp, int base); -->
   <function name="strtoul,std::strtoul">
-    <noreturn>false</noreturn>
     <returnValue type="unsigned long"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5080,8 +5080,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- long long strtoll(const char *s, char **endp, int base); -->
   <function name="strtoll,std::strtoll">
-    <noreturn>false</noreturn>
     <returnValue type="long long"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5095,8 +5095,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- unsigned long long strtoull(const char *s, char **endp, int base); -->
   <function name="strtoull,std::strtoull">
-    <noreturn>false</noreturn>
     <returnValue type="unsigned long long"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5110,8 +5110,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- intmax_t strtoimax (const char* str, char** endptr, int base); -->
   <function name="strtoimax,std::strtoimax">
-    <noreturn>false</noreturn>
     <returnValue type="intmax_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5125,8 +5125,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- uintmax_t strtoumax (const char* str, char** endptr, int base); -->
   <function name="strtoumax,std::strtoumax">
-    <noreturn>false</noreturn>
     <returnValue type="uintmax_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5140,8 +5140,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- time_t time(time_t *tp); -->
   <function name="time,std::time">
-    <noreturn>false</noreturn>
     <returnValue type="time_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5149,8 +5149,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- char *tmpnam(char *s); -->
   <function name="tmpnam,std::tmpnam">
-    <noreturn>false</noreturn>
     <returnValue type="char *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5158,8 +5158,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- errno_t tmpnam_s(char *filename_s, rsize_t maxsize); -->
   <function name="tmpnam_s">
-    <noreturn>false</noreturn>
     <returnValue type="errno_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5172,14 +5172,14 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- FILE *tmpfile(void); -->
   <function name="tmpfile">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="FILE *"/>
+    <noreturn>false</noreturn>
   </function>
   <!-- int tolower(int c); -->
   <function name="tolower,std::tolower">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5189,8 +5189,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- int toupper(int c); -->
   <function name="toupper,std::toupper">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5229,8 +5229,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- float wcstof(const wchar_t *s, wchar ** endp); -->
   <function name="wcstof,std::wcstof">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5241,8 +5241,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- double wcstod(const wchar_t *s, wchar ** endp); -->
   <function name="wcstod,std::wcstod">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5253,8 +5253,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- long double wcstold(const wchar_t *s, wchar ** endp); -->
   <function name="wcstold,std::wcstold">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5266,8 +5266,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- float stof (const wstring& str, size_t* idx = 0); -->
   <function name="std::stof">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="float"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5280,8 +5280,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- double stod (const wstring& str, size_t* idx = 0); -->
   <function name="std::stod">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5294,8 +5294,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- long double stold (const wstring& str, size_t* idx = 0); -->
   <function name="std::stold">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="long double"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5308,8 +5308,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- int stoi (const wstring& str, size_t* idx = 0, int base = 10); -->
   <function name="std::stoi">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5326,8 +5326,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- long stol (const wstring& str, size_t* idx = 0, int base = 10); -->
   <function name="std::stol">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="long"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5344,8 +5344,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- long long stoll (const wstring& str, size_t* idx = 0, int base = 10); -->
   <function name="std::stoll">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="long long"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5362,8 +5362,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- unsigned long stoul (const wstring& str, size_t* idx = 0, int base = 10); -->
   <function name="std::stoul">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="unsigned long"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5380,8 +5380,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- unsigned long long stoull (const wstring& str, size_t* idx = 0, int base = 10); -->
   <function name="std::stoull">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="unsigned long long"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5405,8 +5405,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- string to_string (long double val);-->
   <function name="std::to_string">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="std::string"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5439,8 +5439,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- wstring to_wstring (long double val);-->
   <function name="std::to_wstring">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="std::wstring"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5448,8 +5448,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- size_t mbrtowc(wchar_t* pwc, const char* pmb, size_t max, mbstate_t* ps); -->
   <function name="mbrtowc,std::mbrtowc">
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="2">
       <not-uninit/>
@@ -5464,8 +5464,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- wchar_t* wcstok(wchar_t *s, const wchar_t *ct, wchar_t **ptr); -->
   <function name="wcstok,std::wcstok">
-    <noreturn>false</noreturn>
     <returnValue type="wchar_t *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5481,8 +5481,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- intmax_t wcstoimax(const wchar_t *s, wchar_t ** endp, int base); -->
   <function name="wcstoimax,std::wcstoimax">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="intmax_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5496,8 +5496,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- uintmax_t wcstoumax(const wchar_t *s, wchar_t ** endp, int base); -->
   <function name="wcstoumax,std::wcstoumax">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="uintmax_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5511,8 +5511,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- long wcstol(const wchar_t *s, wchar ** endp, int base); -->
   <function name="wcstol,std::wcstol">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="long"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5526,8 +5526,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- long long wcstoll(const wchar_t *s, wchar ** endp, int base); -->
   <function name="wcstoll,std::wcstoll">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="long long"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5541,8 +5541,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- unsigned long wcstoul(const wchar_t *s, wchar ** endp, int base); -->
   <function name="wcstoul,std::wcstoul">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="unsigned long"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5556,8 +5556,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- unsigned long long wcstoull(const wchar_t *s, wchar ** endp, int base); -->
   <function name="wcstoull,std::wcstoull">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="unsigned long long"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5570,8 +5570,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int wprintf(const wchar_t *format, ...); -->
   <function name="wprintf,std::wprintf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <formatstr/>
     <arg nr="1">
@@ -5581,8 +5581,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int sprintf(char *s, const char *format, ...); -->
   <function name="sprintf,std::sprintf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5597,8 +5597,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int swprintf(wchar_t *s, size_t n, const wchar_t *format, ...); -->
   <function name="swprintf,std::swprintf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5615,8 +5615,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int vsprintf(char *s, const char *format, va_list arg); -->
   <function name="vsprintf,std::vsprintf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5630,8 +5630,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int vswprintf(wchar_t *s, size_t n, const wchar_t *format, va_list arg); -->
   <function name="vswprintf,std::vswprintf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5649,8 +5649,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int fwprintf(FILE* stream, const wchar_t* format, ...); -->
   <function name="fwprintf,std::fwprintf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5664,8 +5664,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int snprintf(char *s, size_t n, const char *format, ...); -->
   <function name="snprintf,std::snprintf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <minsize type="argvalue" arg="2"/>
@@ -5683,8 +5683,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int vsnprintf(char *s, size_t n, const char *format, va_list arg); -->
   <function name="vsnprintf,std::vsnprintf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5702,8 +5702,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int wscanf(const wchar_t *format, ...); -->
   <function name="wscanf,std::wscanf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <formatstr scan="true"/>
     <arg nr="1">
@@ -5714,8 +5714,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int sscanf(const char *string, const char * format, ...); -->
   <function name="sscanf,std::sscanf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5729,8 +5729,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int fwscanf(FILE* stream, const wchar_t* format, ...); -->
   <function name="fwscanf,std::fwscanf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5743,8 +5743,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int swscanf(const wchar_t *string, const wchar_t *format, ...); -->
   <function name="swscanf,std::swscanf">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5757,8 +5757,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- int system(const char *command); -->
   <function name="system,std::system">
-    <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -5839,8 +5839,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- struct tmx *zonetime(const time_t *tp, int zone); -->
   <function name="zonetime">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="struct tmx *"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -5853,8 +5853,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- size_t c16rtomb ( char * pmb, char16_t c16, mbstate_t * ps ); -->
   <!-- size_t c32rtomb ( char * pmb, char32_t c32, mbstate_t * ps ); -->
   <function name="c16rtomb,c32rtomb">
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1"/>
     <arg nr="2">
@@ -5868,8 +5868,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- size_t mbrtoc16 ( char16_t * pc16, const char * pmb, size_t max, mbstate_t * ps); -->
   <!-- size_t mbrtoc32 ( char32_t * pc32, const char * pmb, size_t max, mbstate_t * ps); -->
   <function name="mbrtoc16,mbrtoc32">
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1"/>
     <arg nr="2">
@@ -5898,37 +5898,37 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <function name="std::ios::good,std::ios_base::good,std::ostream::good,std::ofstream::good">
     <use-retval/>
     <const/>
-    <noreturn>false</noreturn>
     <returnValue type="bool"/>
+    <noreturn>false</noreturn>
   </function>
   <!-- bool eof() const; -->
   <function name="std::ios::eof,std::ios_base::eof,std::ostream::eof,std::ofstream::eof">
     <use-retval/>
     <const/>
-    <noreturn>false</noreturn>
     <returnValue type="bool"/>
+    <noreturn>false</noreturn>
   </function>
   <!-- bool fail() const; -->
   <function name="std::ios::fail,std::ios_base::fail,std::ostream::fail,std::ofstream::fail">
     <use-retval/>
     <const/>
-    <noreturn>false</noreturn>
     <returnValue type="bool"/>
+    <noreturn>false</noreturn>
   </function>
   <!-- bool bad() const; -->
   <function name="std::ios::bad,std::ios_base::bad,std::ostream::bad,std::ofstream::bad">
     <use-retval/>
     <const/>
-    <noreturn>false</noreturn>
     <returnValue type="bool"/>
+    <noreturn>false</noreturn>
   </function>
   <function name="std::array::clear,std::deque::clear,std::list::clear,std::forward_list::clear,std::map::clear,std::unordered_map::clear,std::queue::clear,std::set::clear,std::unordered_set::clear,std::stack::clear,std::string::clear,std::wstring::clear,std::basic_string::empty,std::vector::clear">
     <noreturn>false</noreturn>
   </function>
   <function name="std::array::empty,std::deque::empty,std::list::empty,std::forward_list::empty,std::map::empty,std::unordered_map::empty,std::queue::empty,std::set::empty,std::unordered_set::empty,std::stack::empty,std::string::empty,std::wstring::empty,std::basic_string::empty,std::vector::empty,std::queue::empty,std::array::empty">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="bool"/>
+    <noreturn>false</noreturn>
   </function>
   <function name="std::deque::push_back,std::deque::push_front,std::list::push_back,std::list::push_front,std::forward_list::push_front,std::queue::push,std::stack::push,std::vector::push_back,std::vector::push_front">
     <noreturn>false</noreturn>
@@ -5950,16 +5950,16 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <function name="std::list::find,std::map::find,std::set::find,std::vector::find">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="iterator"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
     </arg>
   </function>
   <function name="std::deque::size,std::deque::max_size,std::list::size,std::list::max_size,std::map::size,std::map::max_size,std::unordered_map::size,std::unordered_map::max_size,std::queue::size,std::set::size,std::set::max_size,std::unordered_set::size,std::unordered_set::max_size,std::stack::size,std::string::size,std::wstring::size,std::vector::size,std::vector::capacity,std::vector::max_size,std::array::size,std::array::max_size">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="std::size_t"/>
+    <noreturn>false</noreturn>
   </function>
   <function name="std::list::back,std::list::front,std::forward_list::front,std::queue::back,std::queue::front,std::vector::back,std::vector::front,std::array::front,std::array::back">
     <use-retval/>
@@ -5985,8 +5985,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <function name="std::string::at">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="char"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
       <valid>0:</valid>
@@ -6001,8 +6001,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <function name="std::string::back">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="char"/>
+    <noreturn>false</noreturn>
   </function>
   <!-- void swap (string& str); -->
   <function name="std::string::swap">
@@ -6011,13 +6011,13 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <function name="std::string::c_str,std::string::data">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="const char *"/>
+    <noreturn>false</noreturn>
   </function>
   <function name="std::string::front">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="char"/>
+    <noreturn>false</noreturn>
   </function>
   <!-- size_t find (const string& str, size_t pos = 0) const; -->
   <!-- size_t find (const char* s, size_t pos, size_t n) const; -->
@@ -6029,8 +6029,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- size_t rfind (char c, size_t pos = npos) const noexcept; -->
   <function name="std::basic_string::find_last_not_of,std::string::find_last_not_of,std::wstring::find_last_not_of,std::basic_string::find_first_not_of,std::string::find_first_not_of,std::wstring::find_first_not_of,std::string::find,std::string::rfind,std::wstring::find,std::wstring::rfind,std::basic_string::find,std::basic_string::rfind,std::string::find_first_of,std::wstring::find_first_of,std::basic_string::find_first_of,std::string::find_last_of,std::wstring::find_last_of,std::basic_string::find_last_of">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="size_t"/>
+    <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -6047,8 +6047,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <function name="std::string::length,std::wstring::length,std::string::size,std::wstring::size,std::basic_string::size,std::basic_string::size">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="std::size_t"/>
+    <noreturn>false</noreturn>
   </function>
   <function name="std::string::substr,std::wstring::substr,std::basic_string::substr">
     <use-retval/>
@@ -6171,8 +6171,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- InputIterator std::adjacent_find(InputIterator first, InputIterator last) -->
   <function name="std::adjacent_find">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="iterator" container="1"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
       <iterator container="1" type="first"/>
@@ -6190,8 +6190,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- InputIterator std::find_if_not(InputIterator first, InputIterator last, UnaryPredicate val) -->
   <function name="std::find,std::find_if,std::find_if_not">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="iterator" container="1"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
       <iterator container="1" type="first"/>
@@ -6206,8 +6206,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- template< class InputIt, class OutputIt > OutputIt copy( InputIt first, InputIt last, OutputIt d_first ); -->
   <function name="std::copy">
-    <noreturn>false</noreturn>
     <returnValue type="iterator" container="2"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
       <iterator container="1" type="first"/>
@@ -6226,8 +6226,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- bool std::none_of(InputIterator first, InputIterator last, UnaryPredicate pred) -->
   <function name="std::all_of,std::any_of,std::none_of">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="bool"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
       <iterator container="1" type="first"/>
@@ -6275,8 +6275,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- InputIterator std::search_n(InputIterator first, InputIterator last, Size count, const T& val) -->
   <function name="std::search_n">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="iterator" container="1"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
       <iterator container="1" type="first"/>
@@ -6299,8 +6299,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- InputIterator std::search(InputIterator first1, InputIterator last1, InputIterator first2, InputIterator last2) -->
   <function name="std::find_end,std::find_first_of,std::search">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="iterator" container="1"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
       <iterator container="1" type="first"/>
@@ -6341,8 +6341,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <!-- bool std::is_permutation(InputIterator first1, InputIterator last1, InputIterator first2) -->
   <function name="std::equal,std::is_permutation">
     <use-retval/>
-    <noreturn>false</noreturn>
     <returnValue type="bool"/>
+    <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
       <iterator container="1" type="first"/>