cppcheck/cfg/std.cfg

<?xml version="1.0"?>
<def format="2">
  <!-- void abort(void); -->
  <function name="abort,std::abort">
    <noreturn>true</noreturn>
  </function>
  <!-- int abs(int j); -->
  <function name="abs,std::abs">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int">arg1&gt;0?arg1:-arg1</returnValue>
    <arg nr="1">
      <not-uninit/>
      <not-bool/>
    </arg>
  </function>
  <!-- intmax_t imaxabs(intmax_t n); -->
  <function name="imaxabs,std::imaxabs">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="intmax_t">arg1&gt;0?arg1:-arg1</returnValue>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- std::proj(std::complex) -->
  <function name="std::proj">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex cproj(double complex x); -->
  <!-- float complex cprojf(float complex x); -->
  <!-- long double complex cprojl(long double complex x); -->
  <function name="cproj,cprojf,cprojl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double creal(double complex x); -->
  <!-- float crealf(float complex x); -->
  <!-- long double creall(long double complex x); -->
  <function name="creal,crealf,creall">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double acos(double x); -->
  <function name="acos,std::acos">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float acosf(float x); -->
  <function name="acosf,std::acosf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double acosl(long double x); -->
  <function name="acosl,std::acosl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double acosh(double x); -->
  <function name="acosh,std::acosh">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float acoshf(float x); -->
  <function name="acoshf,std::acoshf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double acoshl(long double x); -->
  <function name="acoshl,std::acoshl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- char *asctime(const struct tm *tm) -->
  <function name="asctime,std::asctime">
    <use-retval/>
    <returnValue type="char *"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <warn severity="style" cstd="c99" alternatives="strftime" reason="Obsolete"/>
  </function>
  <!-- void assert(int expression) -->
  <function name="assert">
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double sqrt(double x); -->
  <function name="sqrt,std::sqrt">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float sqrtf(float x); -->
  <function name="sqrtf,std::sqrtf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double sqrtl(long double x); -->
  <function name="sqrtl,std::sqrtl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex csqrt(double complex x); -->
  <!-- float complex csqrtf(float complex x); -->
  <!-- long double complex csqrtl(long double complex x); -->
  <function name="csqrt,csqrtf,csqrtl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double sinh(double x); -->
  <function name="sinh,std::sinh">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float sinhf(float x); -->
  <function name="sinhf,std::sinhf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double sinhl(long double x); -->
  <function name="sinhl,std::sinhl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="long double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double sin(double x); -->
  <function name="sin,std::sin">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float sinf(float f); -->
  <function name="sinf,std::sinl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double sinl(long double x); -->
  <function name="sinl,std::sinl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex csin(double complex x); -->
  <!-- float complex csinf(float complex f); -->
  <!-- long double complex csinl(long double complex x); -->
  <function name="csin,csinf,csinl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex csinh(double complex x); -->
  <!-- float complex csinhf(float complex f); -->
  <!-- long double complex csinhl(long double complex x); -->
  <function name="csinh,csinhf,csinhl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double asin(double x); -->
  <function name="asin,std::asin">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float asinf(float x); -->
  <function name="asinf,std::asinf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double asinl(long double x); -->
  <function name="asinl,std::asinl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex casin(double complex x); -->
  <!-- float complex casinf(float complex x); -->
  <!-- long double complex casinl(long double complex x); -->
  <function name="casin,casinf,casinl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double asinh(double x); -->
  <function name="asinh,std::asinh">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float asinhf(float x); -->
  <function name="asinhf,std::asinhf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="float"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double asinhl(long double x); -->
  <function name="asinhl,std::asinhl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="long double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex casinh(double complex x); -->
  <!-- float complex casinhf(float complex x); -->
  <!-- long double complex casinhl(long double complex x); -->
  <function name="casinh,casinhf,casinhl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- 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>
    <leak-ignore/>
    <returnValue type="size_t"/>
    <arg nr="1">
      <not-null/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-null/>
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="4">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- double tan(double x); -->
  <function name="tan,std::tan">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float tanf(float x); -->
  <function name="tanf,std::tanl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="float"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double tanl(long double x); -->
  <function name="tanl,std::tanl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="long double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex ctan(double complex x); -->
  <!-- float complex ctanf(float complex x); -->
  <!-- long double complex ctanl(long double complex x); -->
  <function name="ctan,ctanf,ctanl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double tanh(double x); -->
  <function name="tanh,std::tanh">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float tanhf(float x); -->
  <function name="tanhf,std::tanhf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="float"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double tanhl(long double x); -->
  <function name="tanhl,std::tanhl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="long double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex ctanh(double complex x); -->
  <!-- float complex ctanhf(float complex x); -->
  <!-- long double complex ctanhl(long double complex x); -->
  <function name="ctanh,ctanhf,ctanhl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int feclearexcept(int excepts); -->
  <function name="feclearexcept,std::feclearexcept">
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int fegetenv(fenv_t* envp); -->
  <function name="fegetenv,std::fegetenv">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"/>
    <arg nr="1">
      <not-null/>
    </arg>
  </function>
  <!-- int fegetexceptflag(fexcept_t* flagp, int excepts); -->
  <function name="fegetexceptflag,std::fegetexceptflag">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"/>
    <arg nr="1">
      <not-null/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- int fegetround(void); -->
  <function name="fegetround,std::fegetround">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
  </function>
  <!-- int feholdexcept(fenv_t* envp); -->
  <function name="feholdexcept,std::feholdexcept">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
    </arg>
  </function>
  <!-- int feraiseexcept(int excepts); -->
  <function name="feraiseexcept,std::feraiseexcept">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int fesetenv(const fenv_t* envp); -->
  <function name="fesetenv,std::fesetenv">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int fesetexceptflag(const fexcept_t* flagp, int excepts); -->
  <function name="fesetexceptflag,std::fesetexceptflag">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- int fesetround(int rdir); -->
  <function name="fesetround,std::fesetround">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int fetestexcept(int excepts); -->
  <function name="fetestexcept,std::fetestexcept">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int feupdateenv(const fenv_t* envp); -->
  <function name="feupdateenv,std::feupdateenv">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- double atan(double x); -->
  <function name="atan,std::atan">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float atanf(float x); -->
  <function name="atanf,std::atanf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="float"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double atanl(long double x); -->
  <function name="atanl,std::atanl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="long double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex catan(double complex x); -->
  <!-- float complex catanf(float complex x); -->
  <!-- long double complex catanl(long double complex x); -->
  <function name="catan,catanf,catanl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double tgamma(double x); -->
  <function name="tgamma,std::tgamma">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float tgammaf(float x); -->
  <function name="tgammaf,std::tgammaf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="float"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double tgammal(long double x); -->
  <function name="tgammal,std::tgammal">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="long double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double trunc(double x); -->
  <function name="trunc,std::trunc">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float truncf(float x); -->
  <function name="truncf,std::truncf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="float"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double truncl(long double x); -->
  <function name="truncl,std::truncl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="long double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double atanh(double x); -->
  <function name="atanh,std::atanh">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float atanhf(float x); -->
  <function name="atanhf,std::atanhf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="float"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double atanhl(long double x); -->
  <function name="atanhl,std::atanhl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="long double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex catanh(double complex x); -->
  <!-- float complex catanhf(float complex x); -->
  <!-- long double complex catanhl(long double complex x); -->
  <function name="catanh,catanhf,catanhl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double atan2(double x, double y); -->
  <function name="atan2,std::atan2">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- float atan2f(float x, float y); -->
  <function name="atan2f,std::atan2f">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double atan2l(long double x, long double y); -->
  <function name="atan2l,std::atan2l">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="long double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- int atexit(void (*func)(void)); -->
  <function name="atexit,std::atexit">
    <pure/>
    <returnValue type="int"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
    </arg>
  </function>
  <!-- int atoi(const char *s); -->
  <function name="atoi,std::atoi">
    <use-retval/>
    <pure/>
    <returnValue type="int"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
  </function>
  <!-- long int atol(const char *s); -->
  <function name="atol,std::atol">
    <use-retval/>
    <pure/>
    <returnValue type="long int"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
  </function>
  <!-- long long int atoll(const char *s); -->
  <function name="atoll,std::atoll">
    <use-retval/>
    <pure/>
    <returnValue type="long long int"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
  </function>
  <!-- double atof(const char *s); -->
  <function name="atof,std::atof">
    <use-retval/>
    <pure/>
    <returnValue type="double"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
  </function>
  <!-- void * calloc(size_t nitems, size_t size); -->
  <function name="calloc">
    <use-retval/>
    <noreturn>false</noreturn>
    <arg nr="1">
      <not-uninit/>
      <valid>1:</valid>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- double ceil(double x); -->
  <function name="ceil,std::ceil">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float ceilf(float x); -->
  <function name="ceilf,std::ceilf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="float"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double ceill(long double x); -->
  <function name="ceill,std::ceill">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="long double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double copysign(double x, double y); -->
  <function name="copysign,std::copysign">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- float copysignf(float x, float y); -->
  <function name="copysignf,std::copysignf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="float"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double copysign(long double x, long double y); -->
  <function name="copysignl,std::copysignl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- void clearerr(FILE * stream); -->
  <function name="clearerr,std::clearerr">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- clock_t clock(void); -->
  <function name="clock">
    <use-retval/>
    <noreturn>false</noreturn>
    <returnValue type="clock_t"/>
    <leak-ignore/>
  </function>
  <!-- double cbrt(double x); -->
  <function name="cbrt,std::cbrt">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float cbrtf(float x); -->
  <function name="cbrtf,std::cbrtf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double cbrtl(long double x); -->
  <function name="cbrtl,std::cbrtl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double cos(double x); -->
  <function name="cos,std::cos">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float cosf(float x); -->
  <function name="cosf,std::cosf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double cosl(long double x); -->
  <function name="cosl,std::cosl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="long double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex ccos(double complex x); -->
  <!-- float complex ccosf(float complex x); -->
  <!-- long double complex ccosl(long double complex x); -->
  <function name="ccos,ccosf,ccosl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double cosh(double x); -->
  <function name="cosh,std::cosh">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float coshf(float x); -->
  <function name="coshf,std::coshf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="float"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double coshl(long double x); -->
  <function name="coshl,std::coshl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="long double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex ccosh(double complex x); -->
  <!-- float complex ccoshf(float complex x); -->
  <!-- long double ccoshl(long double complex x); -->
  <function name="ccosh,ccoshf,ccoshl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- char * ctime(const time_t *tp); -->
  <function name="ctime,std::ctime">
    <use-retval/>
    <returnValue type="char *"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- double difftime(time_t time2, time_t time1); -->
  <function name="difftime,std::difftime">
    <use-retval/>
    <returnValue type="double"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- div_t div(int num, int denom); -->
  <function name="div,std::div">
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="div_t"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>:-1,1:</valid>
    </arg>
  </function>
  <!-- imaxdiv_t imaxdiv (intmax_t numer, intmax_t denom); -->
  <function name="imaxdiv,std::imaxdiv">
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="imaxdiv_t"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>:-1,1:</valid>
    </arg>
  </function>
  <!-- void exit(int status); -->
  <function name="exit,std::exit">
    <noreturn>true</noreturn>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double erf(double x); -->
  <function name="erf,std::erf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float erff(float f); -->
  <function name="erff,std::erff">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double erfl(long double x); -->
  <function name="erfl,std::erfl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="long double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double erfc(double x); -->
  <function name="erfc,std::erfc">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float erfcf(float x); -->
  <function name="erfcf,std::erfcf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double erfcl(long double x); -->
  <function name="erfcl,std::erfcl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double carg(double complex z);-->
  <function name="carg">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float cargf(float complex z);-->
  <function name="cargf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double cargl(long double complex z);-->
  <function name="cargl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double exp(double x); -->
  <function name="exp,std::exp">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float expf(float x); -->
  <function name="expf,std::expf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double expl(long double x); -->
  <function name="expl,std::expl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex cexp(double complex x); -->
  <!-- float complex cexpf(float complex x); -->
  <!-- long double complex cexpl(long double complex x); -->
  <function name="cexp,cexpf,cexpl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex cimag(double complex x); -->
  <!-- float complex cimagf(float complex x); -->
  <!-- long double complex cimagl(long double complex x); -->
  <function name="cimag,cimagf,cimagl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double exp2(double x); -->
  <function name="exp2,std::exp2">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float exp2f(float x); -->
  <function name="exp2f,std::exp2f">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double exp2l(long double x);-->
  <function name="exp2l,std::exp2l">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double expm1(double x); -->
  <function name="expm1,std::expm1">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float expm1f(float x); -->
  <function name="expm1f,std::expm1f">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double expm1l(long double x); -->
  <function name="expm1l,std::expm1l">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- void _Exit(int status); -->
  <function name="_Exit,quick_exit">
    <noreturn>true</noreturn>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double fabs(double x); -->
  <function name="fabs,std::fabs">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float fabsf(float x); -->
  <function name="fabsf,std::fabsf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double fabsl(long double x); -->
  <function name="fabsl,std::fabsl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double fdim(double x, double y); -->
  <function name="fdim,std::fdim">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- float fdimf(float x, float y); -->
  <function name="fdimf,std::fdimf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double fdiml(long double x, long double y); -->
  <function name="fdiml,std::fdiml">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- int fclose(FILE * stream); -->
  <function name="fclose,std::fclose">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int feof(FILE *stream); -->
  <function name="feof,std::feof">
    <use-retval/>
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int ferror(FILE *stream);-->
  <function name="ferror,std::ferror">
    <use-retval/>
    <returnValue type="int"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int fflush(FILE *stream); -->
  <function name="fflush,std::fflush">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int fgetc(FILE *stream); -->
  <!-- int getc(FILE *stream); -->
  <function name="fgetc,std::fgetc,getc,std::getc">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- 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"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int fgetpos(FILE* stream, fpos_t *ptr); -->
  <function name="fgetpos,std::fgetpos">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
    </arg>
  </function>
  <!-- double floor(double x); -->
  <function name="floor,std::floor">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float floorf(float x); -->
  <function name="floorf,std::floorf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double floorl(long double x); -->
  <function name="floorl,std::floorl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double fma(double x, double y, double z); -->
  <function name="fma,std::fma">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
    </arg>
  </function>
  <!-- float fmaf(float x, float y, float z); -->
  <function name="fmaf,std::fmaf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double fmal(long double x, long double y, long double z); -->
  <function name="fmal,std::fmal">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
    </arg>
  </function>
  <!-- double fmax(double x, double y); -->
  <function name="fmax,std::fmax">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- float fmaxf(float x, float y); -->
  <function name="fmaxf,std::fmaxf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double fmaxl(long double x, long double y); -->
  <function name="fmaxl,std::fmaxl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- double fmin(double x, double y); -->
  <function name="fmin,std::fmin">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- float fminf(float x, float y); -->
  <function name="fminf,std::fminf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double fminl(long double x, long double y); -->
  <function name="fminl,std::fminl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- double fmod(double x, double y); -->
  <function name="fmod,std::fmod">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- float fmodf(float x, float y); -->
  <function name="fmodf,std::fmodf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double fmodl(long double x, long double y); -->
  <function name="fmodl,std::fmodl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- FILE * fopen(const char *filename, const char* mode); -->
  <function name="fopen,std::fopen">
    <use-retval/>
    <noreturn>false</noreturn>
    <returnValue type="FILE *"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- errno_t fopen_s(FILE *restrict *restrict streamptr,
                const char *restrict filename,
                const char *restrict mode); -->
  <function name="fopen_s">
    <noreturn>false</noreturn>
    <returnValue type="errno_t"/>
    <arg nr="1">
      <not-null/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="3">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int fprintf(FILE *stream, const char *format, ...); -->
  <function name="fprintf,std::fprintf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <formatstr/>
    <arg nr="2">
      <formatstr/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int vfprintf(FILE *stream, const char *format, va_list arg); -->
  <function name="vfprintf,std::vfprintf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3"/>
  </function>
  <!-- int vfwprintf(FILE *stream, const wchar_t *format, va_list arg); -->
  <function name="vfwprintf,std::vfwprintf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3"/>
  </function>
  <!-- int fputc(int c, FILE *stream); -->
  <function name="fputc,std::fputc">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- wint_t fputwc(wchar_t wc, FILE * stream); -->
  <function name="fputwc,std::fputwc">
    <noreturn>false</noreturn>
    <returnValue type="wint_t"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
      <not-bool/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int fputs(const char *string, FILE* stream); -->
  <function name="fputs,std::fputs">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int fputws(const wchar_t* ws, FILE* stream); -->
  <function name="fputws,std::fputws">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </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"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <minsize type="mul" arg="2" arg2="3"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="4">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- void free(void *block); -->
  <function name="free,std::free">
    <noreturn>false</noreturn>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- FILE *freopen(const char *filename, const char *mode, FILE *stream); -->
  <function name="freopen,std::freopen">
    <noreturn>false</noreturn>
    <use-retval/>
    <returnValue type="FILE *"/>
    <arg nr="1">
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- errno_t freopen_s(FILE *restrict *restrict newstreamptr, const char *restrict filename, const char *restrict mode, FILE *restrict stream) -->
  <function name="freopen_s">
    <noreturn>false</noreturn>
    <returnValue type="errno_t"/>
    <use-retval/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="4">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- double frexp(double x, int *exp); -->
  <function name="frexp,std::frexp">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
    </arg>
  </function>
  <!-- float frexpf(float x, int *exp); -->
  <function name="frexpf,std::frexpf">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
    </arg>
  </function>
  <!-- long double frexpl(long double x, int *exp); -->
  <function name="frexpl,std::frexpl">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
    </arg>
  </function>
  <!-- double hypot(double x, double y); -->
  <!-- double hypot(double x, double y, double z); -->
  <function name="hypot,std::hypot">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3" default="0">
      <not-uninit/>
    </arg>
  </function>
  <!-- float hypotf(float x, float y); -->
  <function name="hypotf,std::hypotf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double hypotl(long double x, long double y); -->
  <function name="hypotl,std::hypotl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- int fscanf(FILE *stream, const char *format, ...); -->
  <function name="fscanf,std::fscanf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <formatstr scan="true"/>
    <arg nr="2">
      <formatstr/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int vfscanf(FILE *stream, const char * format, va_list arg); -->
  <function name="vfscanf,std::vfscanf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3"/>
  </function>
  <!-- int vfwscanf(FILE *stream, const wchar_t * format, va_list arg); -->
  <function name="vfwscanf,std::vfwscanf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3"/>
  </function>
  <!-- int fseek(FILE* stream, long int offset, int origin); -->
  <function name="fseek,std::fseek">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
    </arg>
  </function>
  <!-- int fsetpos(FILE *stream, const fpos_t *ptr); -->
  <function name="fsetpos,std::fsetpos">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- char * fgets(char *buffer, int n, FILE *stream); -->
  <function name="fgets,std::fgets">
    <noreturn>false</noreturn>
    <returnValue type="char *"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <minsize type="argvalue" arg="2"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
    <arg nr="3">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- wchar_t* fgetws(wchar_t* ws, int num, FILE* stream); -->
  <function name="fgetws,std::fgetws">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="wchar_t*"/>
    <arg nr="1">
      <not-null/>
      <minsize type="argvalue" arg="2"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
    <arg nr="3">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- long int ftell(FILE *stream); -->
  <function name="ftell,std::ftell">
    <noreturn>false</noreturn>
    <returnValue type="long int"/>
    <use-retval/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int fwide(FILE* stream, int mode); -->
  <function name="fwide,std::fwide">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </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"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <minsize type="mul" arg="2" arg2="3"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="4">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int mblen(const char *string, size_t size); -->
  <function name="mblen,std::mblen">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- int mbtowc(wchar_t* pwc, const char* pmb, size_t max); -->
  <function name="mbtowc,std::mbtowc">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </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"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="3">
      <not-uninit/>
    </arg>
  </function>
  <!-- wint_t btowc(int c); -->
  <function name="btowc,std::btowc">
    <use-retval/>
    <returnValue type="wint_t"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- int mbsinit(const mbstate_t* ps); -->
  <function name="mbsinit,std::mbsinit">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- wint_t getwchar(void); -->
  <function name="getwchar">
    <noreturn>false</noreturn>
    <returnValue type="wint_t"/>
    <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"/>
    <leak-ignore/>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </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"/>
    <leak-ignore/>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="4">
      <not-null/>
    </arg>
  </function>
  <!-- int wctob(wint_t wc); -->
  <function name="wctob,std::wctob">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int wctomb(char *s, wchar_t wchar); -->
  <function name="wctomb,std::wctomb">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </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"/>
    <leak-ignore/>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- int getchar(void); -->
  <function name="getchar">
    <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"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- wint_t ungetwc(wint_t c, FILE *stream); -->
  <function name="ungetwc,std::ungetwc">
    <returnValue type="wint_t"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- char * getenv(const char *name); -->
  <function name="getenv,std::getenv">
    <use-retval/>
    <returnValue type="char *"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
  </function>
  <!-- char *gets(char *buffer); -->
  <function name="gets,std::gets">
    <noreturn>false</noreturn>
    <returnValue type="char *"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
    </arg>
    <warn severity="warning">Obsolete function 'gets' called. It is recommended to use 'fgets' or 'gets_s' instead.
The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun if the input data exceeds the size of the buffer. It is recommended to use the functions 'fgets' or 'gets_s' instead.</warn>
  </function>
  <!-- char *gets_s(char *buffer, rsize_t size); -->
  <function name="gets_s,std::gets_s">
    <noreturn>false</noreturn>
    <returnValue type="char *"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <minsize type="argvalue" arg="2"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- struct tm * gmtime(const time_t *tp); -->
  <function name="gmtime,std::gmtime">
    <use-retval/>
    <noreturn>false</noreturn>
    <pure/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int isalnum(int c); -->
  <function name="isalnum,std::isalnum">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>=0x30 && arg1<=0x39 || arg1>=0x41 && arg1 <=0x5A || arg1>=0x61 && arg1 <=0x7A]]></returnValue>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- int iswalnum(wint_t c); -->
  <function name="iswalnum,std::iswalnum">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>=0x30 && arg1<=0x39 || arg1>=0x41 && arg1 <=0x5A || arg1>=0x61 && arg1 <=0x7A]]></returnValue>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int isalpha(int c); -->
  <function name="isalpha,std::isalpha">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <!-- ((c>='A' AND c<='Z') OR (c>='a' AND c<='z' )) -->
    <returnValue type="int"><![CDATA[arg1>='A' && arg1<='Z' || arg1>='a' && arg1 <='z']]></returnValue>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- int iswalpha(wint_t c);-->
  <function name="iswalpha,std::iswalpha">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <!-- ((c>='A' AND c<='Z') OR (c>='a' AND c<='z' )) -->
    <returnValue type="int"><![CDATA[arg1>='A' && arg1<='Z' || arg1>='a' && arg1 <='z']]></returnValue>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int isblank(int c); -->
  <function name="isblank,std::isblank">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1==' ' || arg1=='\t']]></returnValue>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- int iswblank(wint_t c); -->
  <function name="iswblank,std::iswblank">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1==' ' || arg1=='\t']]></returnValue>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int iscntrl(int c); -->
  <function name="iscntrl,std::iscntrl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1==0x7F || arg1<=0x1F]]></returnValue>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- int iswcntrl(wint_t c); -->
  <function name="iswcntrl,std::iswcntrl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1==0x7F || arg1<=0x1F]]></returnValue>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int iswcntrl(wint_t c, wctype_t desc); -->
  <function name="iswctype,std::iswctype">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- int isdigit(int c); -->
  <function name="isdigit,std::isdigit">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>='0' && arg1<='9']]></returnValue>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- int iswdigit(wint_t c); -->
  <function name="iswdigit,std::iswdigit">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>='0' && arg1<='9']]></returnValue>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int isgraph(int c); -->
  <function name="isgraph,std::isgraph">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>=0x21 && arg1<=0x7E]]></returnValue>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- int iswgraph(wint_t c); -->
  <function name="iswgraph,std::iswgraph">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>=0x21 && arg1<=0x7E]]></returnValue>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int islower(int c); -->
  <function name="islower,std::islower">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>=0x61 && arg1<=0x7A]]></returnValue>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- int iswlower(wint_t c); -->
  <function name="iswlower,std::iswlower">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>=0x61 && arg1<=0x7A]]></returnValue>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int isprint(int c); -->
  <function name="isprint,std::isprint">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>=0x20 && arg1<=0x7E]]></returnValue>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- int iswprint(wint_t c); -->
  <function name="iswprint,std::iswprint">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>=0x20 && arg1<=0x7E]]></returnValue>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int ispunct(int c); -->
  <function name="ispunct,std::ispunct">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>=0x21 && arg1<=0x2F || arg1>=0x3A && arg1<=0x40 || arg1>=0x5B && arg1<=0x60 || arg1>=0x7B && arg1<=0x7E]]></returnValue>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- int iswpunct(wint_t c); -->
  <function name="iswpunct,std::iswpunct">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>=0x21 && arg1<=0x2F || arg1>=0x3A && arg1<=0x40 || arg1>=0x5B && arg1<=0x60 || arg1>=0x7B && arg1<=0x7E]]></returnValue>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int isspace(int c); -->
  <function name="isspace,std::isspace">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>=0x09 && arg1<=0x0D || arg1==0x20]]></returnValue>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- int iswspace(wint_t c); -->
  <function name="iswspace,std::iswspace">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="int"><![CDATA[arg1>=0x09 && arg1<=0x0D || arg1==0x20]]></returnValue>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int isupper(int c); -->
  <function name="isupper,std::isupper">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>=0x41 && arg1<=0x5A]]></returnValue>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- int iswupper(wint_t c); -->
  <function name="iswupper,std::iswupper">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>=0x41 && arg1<=0x5A]]></returnValue>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int isxdigit(int c); -->
  <function name="isxdigit,std::isxdigit">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"><![CDATA[arg1>=0x30 && arg1<=0x39 || arg1>=0x41 && arg1<=0x46 || arg1>=0x61 && arg1<=0x66]]></returnValue>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- int iswxdigit(wint_t c); -->
  <function name="iswxdigit,std::iswxdigit">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="int"><![CDATA[arg1>=0x30 && arg1<=0x39 || arg1>=0x41 && arg1<=0x46 || arg1>=0x61 && arg1<=0x66]]></returnValue>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- wint_t towctrans(wint_t c, wctrans_t desc); -->
  <function name="towctrans,std::towctrans">
    <use-retval/>
    <returnValue type="wint_t"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- wint_t towlower(wint_t c); -->
  <function name="towlower,std::towlower">
    <use-retval/>
    <returnValue type="wint_t"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- wint_t towupper(wint_t c); -->
  <function name="towupper,std::towupper">
    <use-retval/>
    <returnValue type="wint_t"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- wctrans_t wctrans(const char* property); -->
  <function name="wctrans,std::wctrans">
    <use-retval/>
    <returnValue type="wctype_t"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- wctype_t wctype(const char* property); -->
  <function name="wctype,std::wctype">
    <use-retval/>
    <returnValue type="wctype_t"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex cabs(double complex z); -->
  <!-- float complex cabsf(float complex z); -->
  <!-- long double complex cabsl(long double complex z); -->
  <function name="cabs,cabsf,cabsl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex cacos(double complex z); -->
  <!-- float complex cacosf(float complex z); -->
  <!-- long double complex cacosl(long double complex z); -->
  <function name="cacos,cacosf,cacosl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex cacosh(double complex z); -->
  <!-- float complex cacoshf(float complex z); -->
  <!-- long double complex cacoshl(long double complex z); -->
  <function name="cacosh,cacoshf,cacoshl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long int labs(long int x); -->
  <function name="labs,std::labs">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long int">arg1&gt;0?arg1:-arg1</returnValue>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long long int llabs(long long int x);-->
  <function name="llabs,std::llabs">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long long int">arg1&gt;0?arg1:-arg1</returnValue>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double ldexp(double x, int exp); -->
  <function name="ldexp,std::ldexp">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- float ldexpf(float x, int exp); -->
  <function name="ldexpf,std::ldexpf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double ldexpl(long double x, int exp); -->
  <function name="ldexpl,std::ldexpl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- double lgamma(double x); -->
  <function name="lgamma,std::lgamma">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float lgammaf(float x); -->
  <function name="lgammaf,std::lgammaf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double lgammal(long double x); -->
  <function name="lgammal,std::lgammal">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double rint(double x); -->
  <function name="rint,std::rint">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float rintf(float x); -->
  <function name="rintf,std::rintf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double rintl(long double x); -->
  <function name="rintl,std::rintl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long int lrint(double x); -->
  <!-- long int lrintf(float x); -->
  <!-- long int lrintl(long double x); -->
  <function name="lrint,std::lrint,lrintf,std::lrintf,lrintl,std::lrintl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="long int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long long int llrint(double x); -->
  <!-- long long int llrintf(float x); -->
  <!-- long long int llrintl(long double x); -->
  <function name="llrint,std::llrint,llrintf,std::llrintf,llrintl,std::llrintl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long long int"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long long int llround(double x); -->
  <!-- long long int llroundf(float x); -->
  <!-- long long int llroundl(long double x); -->
  <function name="llround,std::llround,llroundf,std::llroundf,llroundl,std::llroundl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long long int"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long int lround(double x); -->
  <!-- long int lroundf(float x); -->
  <!-- long int lroundl(long double x); -->
  <function name="lround,std::lround,lroundf,std::lroundf,lroundl,std::lroundl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long int"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int rand(void); -->
  <function name="rand">
    <use-retval/>
    <returnValue type="int"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
  </function>
  <!-- void srand(unsigned int seed); -->
  <function name="srand,std::srand">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- ldiv_t ldiv(long int num, long int denom); -->
  <function name="ldiv,lldiv,std::ldiv,std::lldiv">
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="ldiv_t"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>:-1,1:</valid>
    </arg>
  </function>
  <!-- lldiv_t lldiv(long long int num, long long int denom); -->
  <function name="ldiv,lldiv,std::ldiv,std::lldiv">
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="lldiv_t"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>:-1,1:</valid>
    </arg>
  </function>
  <!-- struct tm * localtime(const time_t *tp); -->
  <function name="localtime,std::localtime">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="struct tm *"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- struct tm *localtime_s(const time_t *restrict time, struct tm *restrict result) -->
  <function name="localtime_s,std::localtime_s">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="struct tm *"/>
    <arg nr="1">
      <not-null/>
    </arg>
    <arg nr="2">
      <not-null/>
    </arg>
  </function>
  <!-- double log(double x); -->
  <function name="log,std::log">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float logf(float x); -->
  <function name="logf,std::logf">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double logl(long double x);-->
  <function name="logl,std::logl">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex clog(double complex x); -->
  <!-- float complex clogf(float complex x); -->
  <!-- long double complex clogl(long double complex x);-->
  <function name="clog,clogf,clogl">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex conj(double complex x);-->
  <!-- float complex conjf(float complex x);-->
  <!-- long double complex conjl(long double complex x);-->
  <function name="conj,conjf,conjl">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int fpclassify(double x); -->
  <function name="fpclassify,std::fpclassify">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int isfinite(double x); -->
  <function name="isfinite,std::isfinite">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int isgreater(double x, double y); -->
  <function name="isgreater,std::isgreater">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- int isgreaterequal(double x, double y); -->
  <function name="isgreaterequal,std::isgreaterequal">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- int isinf(double x); -->
  <function name="isinf,std::isinf">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double logb(double x); -->
  <function name="logb,std::logb">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float logbf(float x); -->
  <function name="logbf,std::logbf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double logbl(long double x); -->
  <function name="logbl,std::logbl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int isless(double x, double y); -->
  <function name="isless,std::isless">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- int islessequal(double x, double y); -->
  <function name="islessequal,std::islessequal">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- int islessgreater(double x, double y); -->
  <function name="islessgreater,std::islessgreater">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- double nan(const char *tagp); -->
  <function name="nan,std::nan">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- float nanf(const char *tagp); -->
  <function name="nanf,std::nanf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- long double nanl(const char *tagp); -->
  <function name="nanl,std::nanl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int isnan(double x); -->
  <function name="isnan,std::isnan">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int isnormal(double x); -->
  <function name="isnormal,std::isnormal">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int isunordered(double x, double y);-->
  <function name="isunordered,std::isunordered">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- int ilogb(double x); -->
  <function name="ilogb,std::ilogb">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="double"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int ilogbf(float x); -->
  <function name="ilogbf,std::ilogbf">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <returnValue type="float"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int ilogbl(long double x); -->
  <function name="ilogbl,std::ilogbl">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double log10(double x); -->
  <function name="log10,std::log10">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float log10f(float x);-->
  <function name="log10f,std::log10f">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double log10l(long double x); -->
  <function name="log10l,std::log10l">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double log1p(double x); -->
  <function name="log1p,std::log1p">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float log1pf(float x); -->
  <function name="log1pf,std::log1pf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double log1pl(long double x); -->
  <function name="log1pl,std::log1pl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double log2(double x); -->
  <function name="log2,std::log2">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float log2f(float x); -->
  <function name="log2f,std::log2f">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double log2l(long double x); -->
  <function name="log2l,std::log2l">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double nearbyint(double x); -->
  <function name="nearbyint,std::nearbyint">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float nearbyintf(float x); -->
  <function name="nearbyintf,std::nearbyintf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double nearbyintl(long double x); -->
  <function name="nearbyintl,std::nearbyintl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double nextafter(double x, double y); -->
  <function name="nextafter,std::nextafter">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- float nextafterf(float x, float y); -->
  <function name="nextafterf,std::nextafterf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double nextafterl(long double x, long double y);-->
  <function name="nextafterl,std::nextafterl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- double nexttoward(double x, long double y); -->
  <function name="nexttoward,std::nexttoward">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- float nexttowardf(float x, long double y); -->
  <function name="nexttowardf,std::nexttowardf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double nexttowardl(long double x, long double y); -->
  <function name="nexttowardl,std::nexttowardl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- void longjmp(jmp_buf env, int val); -->
  <function name="longjmp,std::longjmp">
    <noreturn>true</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- void * malloc(size_t size); -->
  <function name="malloc,std::malloc">
    <use-retval/>
    <returnValue type="void *"/>
    <noreturn>false</noreturn>
    <arg nr="1">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- void *alloca(size_t size); -->
  <function name="alloca">
    <use-retval/>
    <returnValue type="void *"/>
    <noreturn>false</noreturn>
    <arg nr="1">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- const void * memchr ( const void * ptr, int value, size_t num );
             void * memchr (       void * ptr, int value, size_t num );-->
  <function name="memchr,std::memchr">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="void *"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <minsize type="argvalue" arg="3"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- wchar_t *wmemchr(const wchar_t *cs, wchar_t c, size_t n);-->
  <function name="wmemchr,std::wmemchr">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="wchar_t *"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <minsize type="argvalue" arg="3"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- int memcmp(const void *s1, const void *s2, size_t n);-->
  <function name="memcmp,std::memcmp">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <minsize type="argvalue" arg="3"/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
      <minsize type="argvalue" arg="3"/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- int wmemcmp (const wchar_t* ptr1, const wchar_t* ptr2, size_t num);-->
  <function name="wmemcmp,std::wmemcmp">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <minsize type="argvalue" arg="3"/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
      <minsize type="argvalue" arg="3"/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- void * memcpy(void *ct, const void *cs, size_t n);-->
  <!-- wchar_t * wmemcpy(wchar_t *ct, const wchar_t *cs, size_t n);-->
  <function name="memcpy,std::memcpy,wmemcpy,std::wmemcpy">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <minsize type="argvalue" arg="3"/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
      <minsize type="argvalue" arg="3"/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- 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"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
    <arg nr="3">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="4">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- void * memmove(void *ct, const void *cs, size_t n); -->
  <!-- wchar_t * wmemmove(wchar_t *ct, const wchar_t *cs, size_t n); -->
  <function name="memmove,std::memmove,wmemmove,std::wmemmove">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <minsize type="argvalue" arg="3"/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
      <minsize type="argvalue" arg="3"/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </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"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <minsize type="argvalue" arg="2"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="3">
      <not-uninit/>
    </arg>
    <arg nr="4">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- void *memset(void *s, int c, size_t n); -->
  <function name="memset,std::memset">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="void *"/>
    <arg nr="1">
      <not-null/>
      <minsize type="argvalue" arg="3"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- wchar_t *wmemset(wchar_t *s, wchar_t c, size_t n); -->
  <function name="wmemset,std::wmemset">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="wchar_t *"/>
    <arg nr="1">
      <not-null/>
      <minsize type="argvalue" arg="3"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- 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"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- double modf(double x, double *ip); -->
  <function name="modf,std::modf">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
    </arg>
  </function>
  <!-- float modff(float x, float *ip); -->
  <function name="modff,std::modff">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
    </arg>
  </function>
  <!-- long double modfl(long double x, long double *ip); -->
  <function name="modfl,std::modfl">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
    </arg>
  </function>
  <!-- void perror(const char *string); -->
  <function name="perror,std::perror">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- double pow(double x, double y); -->
  <function name="pow,std::pow">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- float powf(float x, float y);-->
  <function name="powf,std::powf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double powl(long double x, long double y); -->
  <function name="powl,std::powl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- double complex cpow(double complex x, double complex y); -->
  <!-- float complex cpowf(float complex x, float complex y);-->
  <!-- long double complex cpowl(long double complex x, long double complex y); -->
  <function name="cpow,cpowf,cpowl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- double remainder(double x, double y); -->
  <function name="remainder,std::remainder">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- float remainderf(float x, float y); -->
  <function name="remainderf,std::remainderf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double remainderl(long double x, long double y); -->
  <function name="remainderl,std::remainderl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- double remquo(double, x, double y, int *quo); -->
  <function name="remquo,std::remquo">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-null/>
    </arg>
  </function>
  <!-- float remquof(float x, float y, int *quo); -->
  <function name="remquof,std::remquof">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-null/>
    </arg>
  </function>
  <!-- long double remquol(long double x, long double y, int *quo); -->
  <function name="remquol,std::remquol">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-null/>
    </arg>
  </function>
  <!-- int printf(const char *format, ...); -->
  <function name="printf,std::printf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <formatstr/>
    <arg nr="1">
      <formatstr/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int vprintf(const char *format, va_list arg); -->
  <function name="vprintf,std::vprintf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2"/>
  </function>
  <!-- int vwprintf(const wchar_t *format, va_list arg); -->
  <function name="vwprintf,std::vwprintf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2"/>
  </function>
  <!-- void* bsearch(const void* key, const void* base, size_t num, size_t size, int(*compar)(const void*,const void*));-->
  <function name="bsearch,std::bsearch">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="void *"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="4">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="5">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- void qsort(void *base, size_t n, size_t size, int (*cmp)(const void *, const void *)); -->
  <function name="qsort,std::qsort">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="4">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int putc(int c, FILE *stream); -->
  <function name="putc,std::putc">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- wint_t putwc(wchar_t wc, FILE* stream); -->
  <function name="putwc,std::putwc">
    <noreturn>false</noreturn>
    <returnValue type="wint_t"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int puthchar(int c); -->
  <function name="putchar,std::putchar">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- wint_t putwchar(wchar_t wc); -->
  <function name="putwchar,std::putwchar">
    <noreturn>false</noreturn>
    <returnValue type="wint_t"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int puts(const char *string); -->
  <function name="puts,std::puts">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <not-bool/>
      <strz/>
    </arg>
  </function>
  <!-- void *realloc(void *block, size_t newsize); -->
  <function name="realloc,std::realloc">
    <noreturn>false</noreturn>
    <returnValue type="void *"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- int remove(const char *filename); -->
  <function name="remove,std::remove">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
  </function>
  <!-- int rename(const char *oldname, const char *newname); -->
  <function name="rename,std::rename">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
  </function>
  <!-- void rewind(FILE *stream); -->
  <function name="rewind,std::rewind">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- double round(double x); -->
  <function name="round,std::round">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- float roundf(float x); -->
  <function name="roundf,std::roundf">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double roundl(long double x); -->
  <function name="roundl,std::roundl">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- long long int scalbn(double x, int n); -->
  <!-- long long int scalbnf(float x, int n); -->
  <!-- long long int scalbnl(long double x, int n); -->
  <!-- long long int scalbln(double x, long int n); -->
  <!-- long long int scalblnf(float x, long int n); -->
  <!-- long long int scalblnl(long double x, long int n); -->
  <function name="scalbn,std::scalbn,scalbnf,std::scalbnf,scalbnl,std::scalbnl,scalbln,std::scalbln,scalblnf,std::scalblnf,scalblnl,std::scalblnl">
    <use-retval/>
    <returnValue type="long long int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- int signbit(double x); -->
  <function name="signbit,std::signbit">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- void (*signal(int sig, void (*func)(int)))(int); -->
  <function name="signal,std::signal">
    <noreturn>false</noreturn>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2"/>
  </function>
  <!-- int raise(int sig); -->
  <function name="raise,std::raise">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- int scanf(const char *format, ...); -->
  <function name="scanf,std::scanf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <formatstr scan="true"/>
    <arg nr="1">
      <formatstr/>
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int vsscanf(const char *s, const char *format, va_list arg); -->
  <function name="vsscanf,std::vsscanf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3"/>
  </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"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3"/>
  </function>
  <!-- int vscanf(const char *format, va_list arg); -->
  <function name="vscanf,std::vscanf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2"/>
  </function>
  <!-- int vscanf(const wchar_t *format, va_list arg); -->
  <function name="vwscanf,std::vwscanf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
    </arg>
    <arg nr="2"/>
  </function>
  <!-- void setbuf(FILE *stream, char *buf); -->
  <function name="setbuf,std::setbuf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-bool/>
    </arg>
  </function>
  <!-- int setvbuf(FILE* stream, char *buf, int mode, size_t size); -->
  <function name="setvbuf,std::setvbuf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
    </arg>
    <arg nr="4">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- int setjmp(jmp_buf env); -->
  <function name="setjmp">
    <returnValue type="int"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1"/>
  </function>
  <!-- char * strcat(char *deststr, const char *srcstr); -->
  <function name="strcat,std::strcat">
    <returnValue type="char *"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
  </function>
  <!-- wchar_t wcscat(wchar_t *deststr, const char *srcstr); -->
  <function name="wcscat,std::wcscat">
    <returnValue type="wchar_t"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- size_t wcrtomb(char *s, wchar_t wc, mbstate_t *ps); -->
  <function name="wcrtomb,std::wcrtomb">
    <noreturn>false</noreturn>
    <returnValue type="size_t"/>
    <leak-ignore/>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3"/>
  </function>
  <!-- char * strchr(const char *cs, int c); -->
  <function name="strchr,std::strchr">
    <use-retval/>
    <returnValue type="char *"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- wchar_t wcschr(const wchar_t *cs, wchar_t c); -->
  <function name="wcschr,std::wcschr">
    <returnValue type="wchar_t"/>
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- int strcmp(const char *str1, const char *str2); -->
  <function name="strcmp,std::strcmp">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
  </function>
  <!-- int wcscmp(const wchar_t *str1, const wchar_t c); -->
  <function name="wcscmp,std::wcscmp">
    <returnValue type="int"/>
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- char *strcpy(char *desstr, const char *srcstr); -->
  <function name="strcpy,std::strcpy">
    <returnValue type="char *"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <minsize type="strlen" arg="2"/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
  </function>
  <!-- wchar_t *wcscpy(wchar_t *deststr, const wchar_t *srcstr); -->
  <function name="wcscpy,std::wcscpy">
    <returnValue type="wchar_t *"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- 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"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="3">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="4">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- size_t strlen(const char *string); -->
  <!-- size_t wcslen(const wchar_t *string); -->
  <function name="strlen,std::strlen,wcslen,std::wcslen">
    <use-retval/>
    <returnValue type="size_t"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue>strlen(arg1)</returnValue>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
  </function>
  <!-- char *strncpy(char *s, const char *ct, size_t n); -->
  <function name="strncpy,std::strncpy">
    <returnValue type="char *"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <minsize type="sizeof" arg="2"/>
      <minsize type="argvalue" arg="3"/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- char * strpbrk(const char *cs, const char *ct); -->
  <function name="strpbrk,std::strpbrk">
    <use-retval/>
    <returnValue type="char *"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- char * strncat(char *ct, const char *s, size_t n); -->
  <function name="strncat,std::strncat">
    <noreturn>false</noreturn>
    <returnValue type="char *"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
      <minsize type="argvalue" arg="3"/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- wchar_t *wcsncat(wchar_t *ct, const wchar_t *cs, size_t n); -->
  <function name="wcsncat,std::wcsncat">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
      <minsize type="argvalue" arg="3"/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- int strncmp(const char *s1, const char *s2, size_t n); -->
  <function name="strncmp,std::strncmp">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- int wcsncmp(const wchar_t* wcs1, const wchar_t* wcs2, size_t num); -->
  <function name="wcsncmp,std::wcsncmp">
    <use-retval/>
    <returnValue type="int"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <not-bool/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- char* strstr(const char *s1, const char *s2); -->
  <function name="strstr,std::strstr">
    <use-retval/>
    <returnValue type="char *"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
  </function>
  <!-- wchar_t *wcsstr(const wchar_t *s1, const wchar_t *s2); -->
  <function name="wcsstr,std::wcsstr">
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="wchar_t *"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- size_t strspn(const char *cs, const char *ct); -->
  <function name="strspn,std::strspn">
    <use-retval/>
    <returnValue type="size_t"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
  </function>
  <!-- size_t strxfrm(char *ds, const char *ss, size_t n); -->
  <function name="strxfrm,std::strxfrm">
    <noreturn>false</noreturn>
    <returnValue type="size_t"/>
    <leak-ignore/>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </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"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- size_t wcsspn(const wchar_t *s1, const wchar_t *s2); -->
  <function name="wcsspn,std::wcsspn">
    <returnValue type="size_t"/>
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- struct lconv* localeconv(void); -->
  <function name="localeconv,std::localeconv">
    <use-retval/>
    <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/>
    <returnValue type="struct std::locale"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- static std::locale& std::locale::classic(); -->
  <function name="std::locale::classic">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
  </function>
  <!-- char* setlocale(int category, const char* locale); -->
  <function name="setlocale,std::setlocale">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="char *"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- char * strerror(int errornum); -->
  <function name="strerror,std::strerror">
    <use-retval/>
    <returnValue type="char *"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- size_t strcspn(const char *cs, const char *ct); -->
  <function name="strcspn,std::strcspn">
    <returnValue type="size_t"/>
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- size_t wcscspn(const wchar_t *cs, const wchar_t *ct); -->
  <function name="wcscspn,std::wcscspn">
    <returnValue type="size_t"/>
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- wchar_t * wcspbrk(const wchar_t *ct, wchar_t *c); -->
  <function name="wcspbrk,std::wcspbrk">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="wchar_t *"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- wchar_t * wcsncpy(wchar_t *s, const wchar_t *cs, size_t n); -->
  <function name="wcsncpy,std::wcsncpy">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="wchar_t *"/>
    <arg nr="1">
      <not-null/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- int strcoll(const char *cs, const char *c); -->
  <function name="strcoll,std::strcoll">
    <use-retval/>
    <returnValue type="int"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int wcscoll(const wchar_t *s1, const wchar_t *s2); -->
  <function name="wcscoll,std::wcscoll">
    <use-retval/>
    <returnValue type="int"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- const char * strrchr(const char * str, int character);-->
  <!-- char * strrchr(char * str, int character); -->
  <function name="strrchr,std::strrchr">
    <use-retval/>
    <returnValue type="char *"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- const char * strpbrk(const char * str1, const char * str2);-->
  <!-- char * strpbrk(char * str1, const char * str2); -->
  <function name="strbprk">
    <returnValue type="char *"/>
    <use-retval/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- const wchar_t* wcsrchr(const wchar_t* ws, wchar_t wc);-->
  <!-- wchar_t* wcsrchr(wchar_t* ws, wchar_t wc); -->
  <function name="wcsrchr,std::wcsrchr">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="wchar_t *"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </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"/>
    <leak-ignore/>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="4">
      <not-null/>
    </arg>
  </function>
  <!-- char *strtok(char *s, const char *ct); -->
  <function name="strtok,std::strtok">
    <returnValue type="char *"/>
    <pure/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- intmax_t strtoimax(const char *s, char **endp, int base); -->
  <function name="strtoimax,std::strtoimax">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="intmax_t"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- uintmax_t strtoumax(const char *s, char **endp, int base); -->
  <function name="strtoumax,std::strtoumax">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="uintmax_t"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- float strtof(const char *s, char **endp); -->
  <function name="strtof,std::strtof">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="2"/>
  </function>
  <!-- double strtod(const char *s, char **endp); -->
  <function name="strtod,std::strtod">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="2"/>
  </function>
  <!-- long double strtold(const char *s, char **endp); -->
  <function name="strtold,std::strtold">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="2"/>
  </function>
  <!-- long strtol(const char *s, char **endp, int base); -->
  <function name="strtol,std::strtol">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- unsigned long strtoul(const char *s, char **endp, int base); -->
  <function name="strtoul,std::strtoul">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="unsigned long"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- long long strtoll(const char *s, char **endp, int base); -->
  <function name="strtoll,std::strtoll">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long long"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- unsigned long long strtoull(const char *s, char **endp, int base); -->
  <function name="strtoull,std::strtoull">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="unsigned long long"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- intmax_t strtoimax (const char* str, char** endptr, int base); -->
  <function name="strtoimax,std::strtoimax">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="intmax_t"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- uintmax_t strtoumax (const char* str, char** endptr, int base); -->
  <function name="strtoumax,std::strtoumax">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="uintmax_t"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
      <strz/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- time_t time(time_t *tp); -->
  <function name="time,std::time">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="time_t"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- char *tmpnam(char *s); -->
  <function name="tmpnam,std::tmpnam">
    <noreturn>false</noreturn>
    <returnValue type="char *"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- errno_t tmpnam_s(char *filename_s, rsize_t maxsize); -->
  <function name="tmpnam_s">
    <noreturn>false</noreturn>
    <returnValue type="errno_t"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- FILE *tmpfile(void); -->
  <function name="tmpfile">
    <use-retval/>
    <returnValue type="FILE *"/>
    <noreturn>false</noreturn>
  </function>
  <!-- int tolower(int c); -->
  <function name="tolower,std::tolower">
    <use-retval/>
    <returnValue type="int"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- int toupper(int c); -->
  <function name="toupper,std::toupper">
    <use-retval/>
    <returnValue type="int"/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <function name="typeid">
    <use-retval/>
    <noreturn>false</noreturn>
    <arg nr="1"/>
  </function>
  <!-- type va_arg(va_list ap, type); -->
  <function name="va_arg">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="2"/>
  </function>
  <!-- void va_copy(va_list dest, va_list src); -->
  <function name="va_copy">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="2"/>
  </function>
  <!-- void va_end(va_list ap); -->
  <function name="va_end">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1"/>
  </function>
  <!-- void va_start(va_list ap, paramN); -->
  <function name="va_start">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="2"/>
  </function>
  <!-- float wcstof(const wchar_t *s, wchar ** endp); -->
  <function name="wcstof,std::wcstof">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2"/>
  </function>
  <!-- double wcstod(const wchar_t *s, wchar ** endp); -->
  <function name="wcstod,std::wcstod">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2"/>
  </function>
  <!-- long double wcstold(const wchar_t *s, wchar ** endp); -->
  <function name="wcstold,std::wcstold">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2"/>
  </function>
  <!-- float stof (const string&  str, size_t* idx = 0); -->
  <!-- float stof (const wstring& str, size_t* idx = 0); -->
  <function name="std::stof">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="float"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2" default="0">
      <not-uninit/>
    </arg>
  </function>
  <!-- double stod (const string&  str, size_t* idx = 0); -->
  <!-- double stod (const wstring& str, size_t* idx = 0); -->
  <function name="std::stod">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2" default="0">
      <not-uninit/>
    </arg>
  </function>
  <!-- long double stold (const string&  str, size_t* idx = 0); -->
  <!-- long double stold (const wstring& str, size_t* idx = 0); -->
  <function name="std::stold">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long double"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2" default="0">
      <not-uninit/>
    </arg>
  </function>
  <!-- int stoi (const string&  str, size_t* idx = 0, int base = 10);
       int stoi (const wstring& str, size_t* idx = 0, int base = 10); -->
  <function name="std::stoi">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="int"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2" default="0">
      <not-uninit/>
    </arg>
    <arg nr="3" default="10">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- long stol (const string&  str, size_t* idx = 0, int base = 10);
       long stol (const wstring& str, size_t* idx = 0, int base = 10); -->
  <function name="std::stol">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2" default="0">
      <not-uninit/>
    </arg>
    <arg nr="3" default="10">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- long long stoll (const string&  str, size_t* idx = 0, int base = 10);
       long long stoll (const wstring& str, size_t* idx = 0, int base = 10); -->
  <function name="std::stoll">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long long"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2" default="0">
      <not-uninit/>
    </arg>
    <arg nr="3" default="10">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- unsigned long stoul (const string&  str, size_t* idx = 0, int base = 10);
       unsigned long stoul (const wstring& str, size_t* idx = 0, int base = 10); -->
  <function name="std::stoul">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="unsigned long"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2" default="0">
      <not-uninit/>
    </arg>
    <arg nr="3" default="10">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- unsigned long long stoull (const string&  str, size_t* idx = 0, int base = 10);
       unsigned long long stoull (const wstring& str, size_t* idx = 0, int base = 10); -->
  <function name="std::stoull">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="unsigned long long"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2" default="0">
      <not-uninit/>
    </arg>
    <arg nr="3" default="10">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- string to_string (int val); -->
  <!-- string to_string (long val); -->
  <!-- string to_string (long long val); -->
  <!-- string to_string (unsigned val); -->
  <!-- string to_string (unsigned long val); -->
  <!-- string to_string (unsigned long long val); -->
  <!-- string to_string (float val); -->
  <!-- string to_string (double val); -->
  <!-- string to_string (long double val);-->
  <function name="std::to_string">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="std::string"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- void std::string::resize (size_t n);-->
  <!-- void std::string::resize (size_t n, char c);-->
  <!-- void std::wstring::resize (size_t n);-->
  <!-- void std::wstring::resize (size_t n, wchar_t c);-->
  <function name="std::string::resize,std::wstring::resize">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="2" default=" ">
      <not-uninit/>
      <valid>0:255</valid>
    </arg>
  </function>
  <!-- wstring to_wstring (int val); -->
  <!-- wstring to_wstring (long val); -->
  <!-- wstring to_wstring (long long val); -->
  <!-- wstring to_wstring (unsigned val); -->
  <!-- wstring to_wstring (unsigned long val); -->
  <!-- wstring to_wstring (unsigned long long val); -->
  <!-- wstring to_wstring (float val); -->
  <!-- wstring to_wstring (double val); -->
  <!-- wstring to_wstring (long double val);-->
  <function name="std::to_wstring">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="std::wstring"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </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"/>
    <leak-ignore/>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="4">
      <not-uninit/>
    </arg>
  </function>
  <!-- wchar_t* wcstok(wchar_t *s, const wchar_t *ct, wchar_t **ptr); -->
  <function name="wcstok,std::wcstok">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="wchar_t *"/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-null/>
    </arg>
  </function>
  <!-- intmax_t wcstoimax(const wchar_t *s, wchar_t ** endp, int base); -->
  <function name="wcstoimax,std::wcstoimax">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="intmax_t"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- uintmax_t wcstoumax(const wchar_t *s, wchar_t ** endp, int base); -->
  <function name="wcstoumax,std::wcstoumax">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="uintmax_t"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- long wcstol(const wchar_t *s, wchar ** endp, int base); -->
  <function name="wcstol,std::wcstol">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- long long wcstoll(const wchar_t *s, wchar ** endp, int base); -->
  <function name="wcstoll,std::wcstoll">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="long long"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- unsigned long wcstoul(const wchar_t *s, wchar ** endp, int base); -->
  <function name="wcstoul,std::wcstoul">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="unsigned long"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- unsigned long long wcstoull(const wchar_t *s, wchar ** endp, int base); -->
  <function name="wcstoull,std::wcstoull">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="unsigned long long"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0,2:36</valid>
    </arg>
  </function>
  <!-- int wprintf(const wchar_t *format, ...); -->
  <function name="wprintf,std::wprintf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <formatstr/>
    <arg nr="1">
      <formatstr/>
      <not-null/>
    </arg>
  </function>
  <!-- int sprintf(char *s, const char *format, ...); -->
  <function name="sprintf,std::sprintf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
      <minsize type="strlen" arg="2"/>
    </arg>
    <formatstr/>
    <arg nr="2">
      <formatstr/>
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int swprintf(wchar_t *s, size_t n, const wchar_t *format, ...); -->
  <function name="swprintf,std::swprintf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <minsize type="argvalue" arg="2"/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="3">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int vsprintf(char *s, const char *format, va_list arg); -->
  <function name="vsprintf,std::vsprintf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <minsize type="argvalue" arg="2"/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="3"/>
  </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"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <minsize type="argvalue" arg="2"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="3">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="4"/>
  </function>
  <!-- int fwprintf(FILE* stream, const wchar_t* format, ...); -->
  <function name="fwprintf,std::fwprintf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
    </arg>
    <formatstr/>
    <arg nr="2">
      <formatstr/>
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int snprintf(char *s, size_t n, const char *format, ...); -->
  <function name="snprintf,std::snprintf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <minsize type="argvalue" arg="2"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <formatstr/>
    <arg nr="3">
      <formatstr/>
      <not-null/>
      <not-uninit/>
    </arg>
  </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"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
      <minsize type="argvalue" arg="2"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="3">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="4"/>
  </function>
  <!-- int wscanf(const wchar_t *format, ...); -->
  <function name="wscanf,std::wscanf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <formatstr scan="true"/>
    <arg nr="1">
      <formatstr/>
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int sscanf(const char *string, const char * format, ...); -->
  <function name="sscanf,std::sscanf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <formatstr scan="true"/>
    <arg nr="2">
      <formatstr/>
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int fwscanf(FILE* stream, const wchar_t* format, ...); -->
  <function name="fwscanf,std::fwscanf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <formatstr scan="true"/>
    <arg nr="2">
      <formatstr/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int swscanf(const wchar_t *string, const wchar_t *format, ...); -->
  <function name="swscanf,std::swscanf">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <formatstr scan="true"/>
    <arg nr="2">
      <formatstr/>
      <not-uninit/>
    </arg>
  </function>
  <!-- int system(const char *command); -->
  <function name="system,std::system">
    <noreturn>false</noreturn>
    <returnValue type="int"/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- /*unspecified*/ setw(int n); -->
  <function name="setw,std::setw">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- template <class T> const T& min(const T& a, const T& b); -->
  <function name="min,std::min">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- template <class T> const T& max(const T& a, const T& b); -->
  <function name="max,std::max">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- /*unspecified*/ setiosflags(ios_base::fmtflags mask); -->
  <function name="setiosflags,std::setiosflags">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- /*unspecified*/ resetiosflags(ios_base::fmtflags mask); -->
  <function name="resetiosflags,std::resetiosflags">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- /*unspecified*/ setfill(char_type c); -->
  <function name="setfill,std::setfill">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- /*unspecified*/ setprecision(int n); -->
  <function name="setprecision,std::setprecision">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- /*unspecified*/ setbase(int base); -->
  <function name="setbase,std::setbase">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <!-- struct tmx *zonetime(const time_t *tp, int zone); -->
  <function name="zonetime">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <returnValue type="struct tmx *"/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- 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"/>
    <leak-ignore/>
    <arg nr="1"/>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- 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"/>
    <leak-ignore/>
    <arg nr="1"/>
    <arg nr="2">
      <not-uninit/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="4">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <!-- template< class T > void swap( T& a, T& b );-->
  <function name="std::swap">
    <noreturn>false</noreturn>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- bool good() const; -->
  <function name="std::ios::good,std::ios_base::good,std::ostream::good,std::ofstream::good">
    <noreturn>false</noreturn>
    <use-retval/>
    <returnValue type="bool"/>
    <const/>
  </function>
  <!-- bool eof() const; -->
  <function name="std::ios::eof,std::ios_base::eof,std::ostream::eof,std::ofstream::eof">
    <noreturn>false</noreturn>
    <use-retval/>
    <returnValue type="bool"/>
    <const/>
  </function>
  <!-- bool fail() const; -->
  <function name="std::ios::fail,std::ios_base::fail,std::ostream::fail,std::ofstream::fail">
    <noreturn>false</noreturn>
    <use-retval/>
    <returnValue type="bool"/>
    <const/>
  </function>
  <!-- bool bad() const; -->
  <function name="std::ios::bad,std::ios_base::bad,std::ostream::bad,std::ofstream::bad">
    <noreturn>false</noreturn>
    <use-retval/>
    <returnValue type="bool"/>
    <const/>
  </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">
    <noreturn>false</noreturn>
    <returnValue type="bool"/>
    <use-retval/>
  </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>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <function name="std::list::insert,std::multimap::insert,std::set::insert,std::string::insert,std::vector::insert">
    <noreturn>false</noreturn>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <function name="std::deque::emplace_back,std::deque::emplace_front,std::list::emplace_back,std::list::emplace_front,std::forward_list::emplace_front,std::queue::emplace,std::stack::emplace,std::vector::emplace_back,std::vector::emplace_front">
    <noreturn>false</noreturn>
    <arg nr="variadic">
      <not-uninit/>
    </arg>
  </function>
  <function name="std::list::find,std::map::find,std::set::find,std::vector::find">
    <noreturn>false</noreturn>
    <use-retval/>
    <returnValue type="iterator"/>
    <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">
    <noreturn>false</noreturn>
    <returnValue type="std::size_t"/>
    <use-retval/>
  </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">
    <noreturn>false</noreturn>
    <use-retval/>
  </function>
  <function name="std::vector::at">
    <noreturn>false</noreturn>
    <use-retval/>
    <arg nr="1">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <function name="std::list::pop_back,std::list::pop_front,std::forward_list::pop_front,std::vector::pop_back">
    <noreturn>false</noreturn>
  </function>
  <function name="std::stack::pop,std::queue::pop">
    <noreturn>false</noreturn>
  </function>
  <function name="std::stack::top">
    <noreturn>false</noreturn>
    <use-retval/>
  </function>
  <function name="std::string::at">
    <noreturn>false</noreturn>
    <returnValue type="char"/>
    <use-retval/>
    <arg nr="1">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- void push_back (char c); -->
  <function name="std::string::push_back">
    <noreturn>false</noreturn>
    <arg nr="1">
      <not-uninit/>
    </arg>
  </function>
  <function name="std::string::back">
    <noreturn>false</noreturn>
    <returnValue type="char"/>
    <use-retval/>
  </function>
  <!-- void swap (string& str); -->
  <function name="std::string::swap">
    <noreturn>false</noreturn>
    <arg nr="1"/>
  </function>
  <function name="std::string::c_str,std::string::data">
    <noreturn>false</noreturn>
    <returnValue type="const char *"/>
    <use-retval/>
  </function>
  <function name="std::string::front">
    <noreturn>false</noreturn>
    <returnValue type="char"/>
    <use-retval/>
  </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; -->
  <!-- size_t find (char c, size_t pos = 0) const;-->
  <!-- size_t find (const char* s, size_t pos = 0) const; -->
  <!-- size_t rfind (const string& str, size_t pos = npos) const noexcept; -->
  <!-- size_t rfind (const char* s, size_t pos = npos) const; -->
  <!-- size_t rfind (const char* s, size_t pos, size_t n) const; -->
  <!-- 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">
    <noreturn>false</noreturn>
    <returnValue type="size_t"/>
    <leak-ignore/>
    <use-retval/>
    <arg nr="1">
      <not-null/>
      <not-uninit/>
    </arg>
    <arg nr="2" default="0">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="3" default="">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <function name="std::string::length,std::wstring::length,std::string::size,std::wstring::size,std::basic_string::size,std::basic_string::size">
    <noreturn>false</noreturn>
    <returnValue type="std::size_t"/>
    <use-retval/>
  </function>
  <function name="std::string::substr,std::wstring::substr,std::basic_string::substr">
    <noreturn>false</noreturn>
    <use-retval/>
    <arg nr="1" default="0">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="2" default="0">
      <not-uninit/>
    </arg>
  </function>
  <!-- void std::ios::clear (std::ios::iostate state = std::ios::goodbit);-->
  <function name="std::ios::clear,std::fstream::clear">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1" default="std::ios::goodbit">
      <not-uninit/>
    </arg>
  </function>
  <!-- istream& read (char* s, streamsize n); 
       ifstream& read (char* s, streamsize n); -->
  <function name="std::istream::read,std::ifstream::read">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <minsize type="argvalue" arg="2"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- streamsize readsome (char* s, streamsize n); -->
  <function name="std::istream::readsome,std::ifstream::readsome">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <minsize type="argvalue" arg="2"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- istream& getline (char* s, streamsize n ); -->
  <!-- istream& getline (char* s, streamsize n, char delim ); -->
  <function name="std::istream::getline,std::ifstream::getline">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <minsize type="argvalue" arg="2"/>
      <strz/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="3" default="'\n'">
      <not-uninit/>
    </arg>
  </function>
  <!-- istream& get (char* s, streamsize n ); -->
  <!-- istream& get (char* s, streamsize n, char delim ); -->
  <function name="std::istream::get,std::ifstream::get">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-null/>
      <minsize type="argvalue" arg="2"/>
      <strz/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="3" default="'\n'">
      <not-uninit/>
    </arg>
  </function>
  <!-- Not part of standard, but widely supported by runtime libraries. -->
  <!-- char * itoa (int value, char * str, int base); -->
  <function name="itoa">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>2:36</valid>
    </arg>
  </function>
  <!-- iterator std::string::erase (const_iterator first, const_iterator last); -->
  <function name="std::string::erase,std::wstring::erase,std::basic_string::erase">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-uninit/>
    </arg>
  </function>
  <!-- void reserve (size_t n = 0); -->
  <function name="std::string::reserve,std::wstring::reserve,std::basic_string::reserve">
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1" default="0">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
  </function>
  <!-- InputIterator std::adjacent_find(InputIterator first, InputIterator last) -->
  <function name="std::adjacent_find">
    <use-retval/>
    <noreturn>false</noreturn>
    <returnValue type="iterator" container="1"/>
    <arg nr="1">
      <not-uninit/>
      <iterator container="1" type="first"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <iterator container="1" type="last"/>
    </arg>
    <arg nr="3" default="">
      <not-uninit/>
    </arg>
  </function>
  <!-- InputIterator std::find(InputIterator first, InputIterator last, T val) -->
  <!-- InputIterator std::find_if(InputIterator first, InputIterator last, UnaryPredicate val) -->
  <!-- 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"/>
    <arg nr="1">
      <not-uninit/>
      <iterator container="1" type="first"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <iterator container="1" type="last"/>
    </arg>
    <arg nr="3">
      <not-uninit/>
    </arg>
  </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"/>
    <arg nr="1">
      <not-uninit/>
      <iterator container="1" type="first"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <iterator container="1" type="last"/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <iterator container="2" type="first"/>
    </arg>
  </function>
  <!-- bool std::all_of(InputIterator first, InputIterator last, UnaryPredicate pred) -->
  <!-- bool std::any_of(InputIterator first, InputIterator last, UnaryPredicate pred) -->
  <!-- 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"/>
    <arg nr="1">
      <not-uninit/>
      <iterator container="1" type="first"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <iterator container="1" type="last"/>
    </arg>
    <arg nr="3">
      <not-uninit/>
    </arg>
  </function>
  <!-- difference_type std::count(InputIterator first, InputIterator last, T val) -->
  <!-- difference_type std::count_if(InputIterator first, InputIterator last, UnaryPredicate val) -->
  <function name="std::count,std::count_if">
    <use-retval/>
    <noreturn>false</noreturn>
    <arg nr="1">
      <not-uninit/>
      <iterator container="1" type="first"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <iterator container="1" type="last"/>
    </arg>
    <arg nr="3">
      <not-uninit/>
    </arg>
  </function>
  <!-- Function std::for_each(InputIterator first, InputIterator last, Function func) -->
  <function name="std::for_each">
    <noreturn>false</noreturn>
    <arg nr="1">
      <not-uninit/>
      <iterator container="1" type="first"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <iterator container="1" type="last"/>
    </arg>
    <arg nr="3">
      <not-uninit/>
    </arg>
  </function>
  <!-- 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"/>
    <arg nr="1">
      <not-uninit/>
      <iterator container="1" type="first"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <iterator container="1" type="last"/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <valid>0:</valid>
    </arg>
    <arg nr="4">
      <not-uninit/>
    </arg>
    <arg nr="5" default=""/>
  </function>
  <!-- InputIterator std::find_end(InputIterator first1, InputIterator last1, InputIterator first2, InputIterator last2) -->
  <!-- InputIterator std::find_first_of(InputIterator first1, InputIterator last1, InputIterator first2, InputIterator last2) -->
  <!-- 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"/>
    <arg nr="1">
      <not-uninit/>
      <iterator container="1" type="first"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <iterator container="1" type="last"/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <iterator container="2" type="first"/>
    </arg>
    <arg nr="4">
      <not-uninit/>
      <iterator container="2" type="last"/>
    </arg>
    <arg nr="5" default="">
      <not-bool/>
      <not-uninit/>
    </arg>
  </function>
  <function name="std::inplace_merge">
    <noreturn>false</noreturn>
    <arg nr="1">
      <not-uninit/>
      <iterator container="1" type="first"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <iterator container="1" type="middle"/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <iterator container="1" type="last"/>
    </arg>
  </function>
  <!-- bool std::equal(InputIterator first1, InputIterator last1, InputIterator first2) -->
  <!-- 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"/>
    <arg nr="1">
      <not-uninit/>
      <iterator container="1" type="first"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <iterator container="1" type="last"/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <iterator container="2" type="first"/>
    </arg>
  </function>
  <!-- pair<InputIterator1, InputIterator2> std::mismatch(InputIterator first1, InputIterator last1, InputIterator first2) -->
  <function name="std::mismatch">
    <use-retval/>
    <noreturn>false</noreturn>
    <arg nr="1">
      <not-uninit/>
      <iterator container="1" type="first"/>
    </arg>
    <arg nr="2">
      <not-uninit/>
      <iterator container="1" type="last"/>
    </arg>
    <arg nr="3">
      <not-uninit/>
      <iterator container="2" type="first"/>
    </arg>
  </function>
  <memory>
    <alloc init="false">malloc</alloc>
    <alloc init="true">calloc</alloc>
    <dealloc>free</dealloc>
  </memory>
  <resource>
    <alloc init="true">fopen</alloc>
    <alloc init="true">tmpfile</alloc>
    <dealloc>fclose</dealloc>
  </resource>
  <container id="stdContainer" endPattern="&gt; !!::" itEndPattern="&gt; :: iterator|const_iterator|reverse_iterator|const_reverse_iterator" opLessAllowed="false">
    <type templateParameter="0"/>
    <size>
      <function name="resize" action="resize"/>
      <function name="clear" action="clear"/>
      <function name="size" yields="size"/>
      <function name="empty" yields="empty"/>
      <function name="erase" action="erase"/>
      <function name="insert" action="insert"/>
      <function name="emplace" action="push"/>
      <function name="swap" action="change"/>
      <function name="assign" action="change"/>
    </size>
    <access>
      <function name="begin" yields="start-iterator"/>
      <function name="cbegin" yields="start-iterator"/>
      <function name="rbegin" yields="start-iterator"/>
      <function name="crbegin" yields="start-iterator"/>
      <function name="end" yields="end-iterator"/>
      <function name="cend" yields="end-iterator"/>
      <function name="rend" yields="end-iterator"/>
      <function name="crend" yields="end-iterator"/>
    </access>
  </container>
  <container id="stdVectorDeque" startPattern="std :: vector|deque &lt;" inherits="stdContainer" opLessAllowed="true">
    <size>
      <function name="push_back" action="push"/>
      <function name="emplace_back" action="push"/>
      <function name="pop_back" action="pop"/>
      <function name="push_front" action="push"/>
      <function name="emplace_front" action="push"/>
      <function name="pop_front" action="pop"/>
    </size>
    <access indexOperator="array-like">
      <function name="at" yields="at_index"/>
      <function name="front" yields="item"/>
      <function name="back" yields="item"/>
      <function name="data" yields="buffer"/>
      <function name="shrink_to_fit" action="change-internal"/>
      <function name="reserve" action="change-internal"/>
    </access>
  </container>
  <container id="stdArray" startPattern="std :: array &lt;" inherits="stdContainer" opLessAllowed="true">
    <size templateParameter="1">
      <function name="max_size" yields="size"/>
    </size>
    <access indexOperator="array-like">
      <function name="at" yields="at_index"/>
      <function name="front" yields="item"/>
      <function name="back" yields="item"/>
      <function name="data" yields="buffer"/>
      <function name="fill" action="change-content"/>
    </access>
  </container>
  <container id="stdBitset" startPattern="std :: bitset &lt;" inherits="stdContainer" itEndPattern="">
    <size templateParameter="0"/>
    <access indexOperator="array-like"/>
  </container>
  <container id="stdQueue" startPattern="std :: queue|priority_queue &lt;" inherits="stdContainer">
    <access>
      <function name="push" action="push"/>
      <function name="pop" action="pop"/>
      <function name="front" yields="item"/>
      <function name="back" yields="item"/>
    </access>
  </container>
  <container id="stdStack" startPattern="std :: stack &lt;" inherits="stdContainer">
    <access>
      <function name="push" action="push"/>
      <function name="pop" action="pop"/>
      <function name="top" yields="item"/>
    </access>
  </container>
  <container id="stdSet" startPattern="std :: set|unordered_set|multiset|unordered_multiset &lt;" inherits="stdContainer">
    <access>
      <function name="find" action="find" yields="iterator"/>
      <function name="count" action="find"/>
      <function name="emplace_hint" action="push"/>
      <function name="rehash" action="change-internal"/>
      <function name="lower_bound" yields="iterator"/>
      <function name="upper_bound" yields="iterator"/>
    </access>
  </container>
  <container id="stdMap" startPattern="std :: map|unordered_map|multimap|unordered_multimap &lt;" inherits="stdContainer">
    <type templateParameter="1"/>
    <access>
      <function name="at" yields="at_index"/>
      <function name="count" action="find"/>
      <function name="find" action="find" yields="iterator"/>
      <function name="emplace_hint" action="push"/>
      <function name="try_emplace" action="push"/>
      <function name="insert_or_assign" action="push"/>
      <function name="rehash" action="change-internal"/>
      <function name="lower_bound" yields="iterator"/>
      <function name="upper_bound" yields="iterator"/>
    </access>
  </container>
  <container id="stdList" startPattern="std :: list|forward_list &lt;" inherits="stdContainer">
    <size>
      <function name="push_back" action="push"/>
      <function name="emplace_back" action="push"/>
      <function name="emplace_after" action="push"/>
      <function name="pop_back" action="pop"/>
      <function name="push_front" action="push"/>
      <function name="emplace_front" action="push"/>
      <function name="pop_front" action="pop"/>
      <function name="erase_after" action="erase"/>
      <function name="insert_after" action="insert"/>
      <function name="remove" action="change"/>
      <function name="remove_if" action="change"/>
      <function name="unique" action="change"/>
      <function name="merge" action="change"/>
      <function name="splice" action="change"/>
      <function name="splice_after" action="change"/>
    </size>
    <access>
      <function name="front" yields="item"/>
      <function name="back" yields="item"/>
      <function name="before_begin" yields="iterator"/>
      <function name="cbefore_begin" yields="iterator"/>
      <function name="reverse" action="change-content"/>
      <function name="sort" action="change-content"/>
    </access>
  </container>
  <container id="stdAllString" inherits="stdContainer" opLessAllowed="true">
    <type string="std-like"/>
    <size>
      <function name="push_back" action="push"/>
      <function name="pop_back" action="pop"/>
      <function name="append" action="change"/>
      <function name="replace" action="change"/>
      <function name="reserve" action="change-internal"/>
      <function name="shrink_to_fit" action="change-internal"/>
    </size>
    <access indexOperator="array-like">
      <function name="at" yields="at_index"/>
      <function name="front" yields="item"/>
      <function name="back" yields="item"/>
      <function name="data" yields="buffer"/>
      <function name="c_str" yields="buffer-nt"/>
      <function name="length" yields="size"/>
      <function name="find" action="find"/>
      <function name="rfind" action="find"/>
      <function name="find_last_of" action="find"/>
      <function name="find_last_not_of" action="find"/>
      <function name="find_first_of" action="find"/>
      <function name="find_first_not_of" action="find"/>
    </access>
  </container>
  <container id="stdBasicString" startPattern="std :: basic_string &lt;" inherits="stdAllString">
    <type templateParameter="0"/>
  </container>
  <container id="stdString" startPattern="std :: string|wstring|u16string|u32string" endPattern="" inherits="stdAllString"/>
  <podtype name="char16_t,std::char16_t" sign="u" size="2"/>
  <podtype name="char32_t,std::char32_t" sign="u" size="4"/>
  <podtype name="int8_t,std::int8_t" sign="s" size="1"/>
  <podtype name="int16_t,std::int16_t" sign="s" size="2"/>
  <podtype name="int32_t,std::int32_t" sign="s" size="4"/>
  <podtype name="int64_t,std::int64_t" sign="s" size="8"/>
  <podtype name="uint8_t,std::uint8_t" sign="u" size="1"/>
  <podtype name="uint16_t,std::uint16_t" sign="u" size="2"/>
  <podtype name="uint32_t,std::uint32_t" sign="u" size="4"/>
  <podtype name="uint64_t,std::uint64_t" sign="u" size="8"/>
  <podtype name="int_fast8_t,std::int_fast8_t" sign="s"/>
  <podtype name="int_fast16_t,std::int_fast16_t" sign="s"/>
  <podtype name="int_fast32_t,std::int_fast32_t" sign="s"/>
  <podtype name="int_fast64_t,std::int_fast64_t" sign="s"/>
  <podtype name="int_least8_t,std::int_least8_t" sign="s"/>
  <podtype name="int_least16_t,std::int_least16_t" sign="s"/>
  <podtype name="int_least32_t,std::int_least32_t" sign="s"/>
  <podtype name="int_least64_t,std::int_least64_t" sign="s"/>
  <podtype name="uint_fast8_t,std::uint_fast8_t" sign="u"/>
  <podtype name="uint_fast16_t,std::uint_fast16_t" sign="u"/>
  <podtype name="uint_fast32_t,std::uint_fast32_t" sign="u"/>
  <podtype name="uint_fast64_t,std::uint_fast64_t" sign="u"/>
  <podtype name="uint_least8_t,std::uint_least8_t" sign="u"/>
  <podtype name="uint_least16_t,std::uint_least16_t" sign="u"/>
  <podtype name="uint_least32_t,std::uint_least32_t" sign="u"/>
  <podtype name="uint_least64_t,std::uint_least64_t" sign="u"/>
  <podtype name="intptr_t,std::intptr_t" sign="s"/>
  <podtype name="uintptr_t,std::uintptr_t" sign="u"/>
  <podtype name="intmax_t,std::intmax_t" sign="s"/>
  <podtype name="uintmax_t,std::uintmax_t" sign="u"/>
  <podtype name="size_t" sign="u"/>
  <podtype name="double_t"/>
  <podtype name="float_t"/>
  <podtype name="time_t"/>
  <podtype name="clock_t"/>
  <podtype name="tm"/>
  <podtype name="fenv_t"/>
  <podtype name="fexcept_t"/>
  <podtype name="lconv"/>
  <podtype name="sig_atomic_t"/>
  <podtype name="va_list"/>
  <podtype name="ptrdiff_t"/>
  <podtype name="max_align_t"/>
  <podtype name="nullptr_t"/>
  <podtype name="fpos_t"/>
  <podtype name="FILE"/>
  <podtype name="div_t"/>
  <podtype name="ldiv_t"/>
  <podtype name="lldiv_t"/>
  <podtype name="imaxdiv_t"/>
  <podtype name="mbstate_t"/>
  <podtype name="wint_t"/>
  <podtype name="jmp_buf"/>
  <podtype name="std::streamsize,streamsize" sign="s"/>
  <podtype name="std::streamoff,streamoff" sign="s"/>
  <!-- Fixed width integer sizes, defined in header <stdint.h> -->
  <define name="INT8_MIN" value="-128"/>
  <define name="INT16_MIN" value="-32768"/>
  <define name="INT32_MIN" value="-2147483648"/>
  <define name="INT64_MIN" value="-9223372036854775808"/>
  <define name="INT_FAST8_MIN" value="-128"/>
  <define name="INT_FAST16_MIN" value="-9223372036854775808"/>
  <define name="INT_FAST32_MIN" value="-9223372036854775808"/>
  <define name="INT_FAST64_MIN" value="-9223372036854775808"/>
  <define name="INT_LEAST8_MIN" value="-128"/>
  <define name="INT_LEAST16_MIN" value="-32768"/>
  <define name="INT_LEAST32_MIN" value="-2147483648"/>
  <define name="INT_LEAST64_MIN" value="-9223372036854775808"/>
  <define name="INT8_MAX" value="127"/>
  <define name="INT16_MAX" value="32767"/>
  <define name="INT32_MAX" value="2147483647"/>
  <define name="INT64_MAX" value="9223372036854775807"/>
  <define name="INT_FAST8_MAX" value="127"/>
  <define name="INT_FAST16_MAX" value="9223372036854775807"/>
  <define name="INT_FAST32_MAX" value="9223372036854775807"/>
  <define name="INT_FAST64_MAX" value="9223372036854775807"/>
  <define name="INT_LEAST8_MAX" value="127"/>
  <define name="INT_LEAST16_MAX" value="32767"/>
  <define name="INT_LEAST32_MAX" value="2147483647"/>
  <define name="INT_LEAST64_MAX" value="9223372036854775807"/>
  <define name="UINT8_MAX" value="255"/>
  <define name="UINT16_MAX" value="65535"/>
  <define name="UINT32_MAX" value="4294967295"/>
  <define name="UINT64_MAX" value="18446744073709551615"/>
  <define name="UINT_FAST8_MAX" value="255"/>
  <define name="UINT_FAST16_MAX" value="18446744073709551615"/>
  <define name="UINT_FAST32_MAX" value="18446744073709551615"/>
  <define name="UINT_FAST64_MAX" value="18446744073709551615"/>
  <define name="UINT_LEAST8_MAX" value="255"/>
  <define name="UINT_LEAST16_MAX" value="65535"/>
  <define name="UINT_LEAST32_MAX" value="4294967295"/>
  <define name="UINT_LEAST64_MAX" value="18446744073709551615"/>
</def>