<def format="2">

  <define name="__USING_MINT8" value="0"/>

  <define name="__CONCATenate(left, right)" value="left ## right"/>

  <define name="__CONCAT(left, right)" value="__CONCATenate(left, right)"/>

  <podtype name="intptr_t" sign="s" size="2"/>

  <podtype name="uintptr_t" sign="u" size="2"/>

  <podtype name="int_least8_t" sign="s" size="1"/>

  <podtype name="uint_least8_t" sign="u" size="1"/>

  <podtype name="int_least16_t" sign="s" size="2"/>

  <podtype name="uint_least16_t" sign="u" size="2"/>

  <podtype name="int_least32_t" sign="s" size="4"/>

  <podtype name="uint_least32_t" sign="u" size="4"/>

  <podtype name="int_least64_t" sign="s" size="8"/>

  <podtype name="uint_least64_t" sign="u" size="8"/>

  <podtype name="intmax_t" sign="s" size="8"/>

  <podtype name="uintmax_t" sign="u" size="8"/>

  <function name="toascii">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <valid>0:255</valid>

    </arg>

  </function>

  <define name="EDOM" value="33"/>

  <define name="ERANGE" value="34"/>

  <podtype name="int_farptr_t" sign="s" size="4"/>

  <podtype name="uint_farptr_t" sign="u" size="4"/>

  <define name="INT8_MAX" value="0x7f"/>

  <define name="INT8_MIN" value="(-INT8_MAX - 1)"/>

  <define name="UINT8_MAX" value="(__CONCAT(INT8_MAX, U) * 2U + 1U)"/>

  <define name="INT16_MAX" value="0x7fff"/>

  <define name="INT16_MIN" value="(-INT16_MAX - 1)"/>

  <define name="UINT16_MAX" value="(__CONCAT(INT16_MAX, U) * 2U + 1U)"/>

  <define name="INT32_MAX" value="0x7fffffffL"/>

  <define name="INT32_MIN" value="(-INT32_MAX - 1L)"/>

  <define name="UINT32_MAX" value="(__CONCAT(INT32_MAX, U) * 2UL + 1UL)"/>

  <define name="INT64_MAX" value="0x7fffffffffffffffLL"/>

  <define name="INT64_MIN" value="(-INT64_MAX - 1LL)"/>

  <define name="UINT64_MAX" value="(__CONCAT(INT64_MAX, U) * 2ULL + 1ULL)"/>

  <define name="INT_LEAST8_MAX" value="INT8_MAX"/>

  <define name="INT_LEAST8_MIN" value="INT8_MIN"/>

  <define name="UINT_LEAST8_MAX" value="UINT8_MAX"/>

  <define name="INT_LEAST16_MAX" value="INT16_MAX"/>

  <define name="INT_LEAST16_MIN" value="INT16_MIN"/>

  <define name="UINT_LEAST16_MAX" value="UINT16_MAX"/>

  <define name="INT_LEAST32_MAX" value="INT32_MAX"/>

  <define name="INT_LEAST32_MIN" value="INT32_MIN"/>

  <define name="UINT_LEAST32_MAX" value="UINT32_MAX"/>

  <define name="INT_LEAST64_MAX" value="INT64_MAX"/>

  <define name="INT_LEAST64_MIN" value="INT64_MIN"/>

  <define name="UINT_LEAST64_MAX" value="UINT64_MAX"/>

  <define name="INT_FAST8_MAX" value="INT8_MAX"/>

  <define name="INT_FAST8_MIN" value="INT8_MIN"/>

  <define name="UINT_FAST8_MAX" value="UINT8_MAX"/>

  <define name="INT_FAST16_MAX" value="INT16_MAX"/>

  <define name="INT_FAST16_MIN" value="INT16_MIN"/>

  <define name="UINT_FAST16_MAX" value="UINT16_MAX"/>

  <define name="INT_FAST32_MAX" value="INT32_MAX"/>

  <define name="INT_FAST32_MIN" value="INT32_MIN"/>

  <define name="UINT_FAST32_MAX" value="UINT32_MAX"/>

  <define name="INT_FAST64_MAX" value="INT64_MAX"/>

  <define name="INT_FAST64_MIN" value="INT64_MIN"/>

  <define name="UINT_FAST64_MAX" value="UINT64_MAX"/>

  <define name="INTPTR_MAX" value="INT16_MAX"/>

  <define name="INTPTR_MIN" value="INT16_MIN"/>

  <define name="UINTPTR_MAX" value="UINT16_MAX"/>

  <define name="INTMAX_MAX" value="INT64_MAX"/>

  <define name="INTMAX_MIN" value="INT64_MIN"/>

  <define name="UINTMAX_MAX" value="UINT64_MAX"/>

  <define name="PTRDIFF_MAX" value="INT16_MAX"/>

  <define name="PTRDIFF_MIN" value="INT16_MIN"/>

  <define name="SIG_ATOMIC_MAX" value="INT8_MAX"/>

  <define name="SIG_ATOMIC_MIN" value="INT8_MIN"/>

  <define name="SIZE_MAX" value="(__CONCAT(INT16_MAX, U))"/>

  <define name="INT8_C(value)" value="((int8_t) value)"/>

  <define name="UINT8_C(value)" value="((uint8_t) __CONCAT(value, U))"/>

  <define name="INT16_C(value)" value="value"/>

  <define name="UINT16_C(value)" value="__CONCAT(value, U)"/>

  <define name="INT32_C(value)" value="__CONCAT(value, L)"/>

  <define name="UINT32_C(value)" value="__CONCAT(value, UL)"/>

  <define name="INT64_C(value)" value="__CONCAT(value, LL)"/>

  <define name="UINT64_C(value)" value="__CONCAT(value, ULL)"/>

  <define name="INTMAX_C(value)" value="__CONCAT(value, LL)"/>

  <define name="UINTMAX_C(value)" value="__CONCAT(value, ULL)"/>

  <define name="M_E" value="2.7182818284590452354"/>

  <define name="M_LOG2E" value="1.4426950408889634074"/>

  <define name="M_LOG10E" value="0.43429448190325182765"/>

  <define name="M_LN2" value="0.69314718055994530942"/>

  <define name="M_LN10" value="2.30258509299404568402"/>

  <define name="M_PI" value="3.14159265358979323846"/>

  <define name="M_PI_2" value="1.57079632679489661923"/>

  <define name="M_PI_4" value="0.78539816339744830962"/>

  <define name="M_1_PI" value="0.31830988618379067154"/>

  <define name="M_2_PI" value="0.63661977236758134308"/>

  <define name="M_2_SQRTPI" value="1.12837916709551257390"/>

  <define name="M_SQRT2" value="1.41421356237309504880"/>

  <define name="M_SQRT1_2" value="0.70710678118654752440"/>

  <define name="powf" value="pow"/>

  <define name="roundf" value="round"/>

  <define name="signbitf" value="signbit"/>

  <define name="sinf" value="sin"/>

  <define name="sinhf" value="sinh"/>

  <define name="sqrtf" value="sqrt"/>

  <define name="squaref" value="square"/>

  <define name="tanf" value="tan"/>

  <define name="tanhf" value="tanh"/>

  <define name="truncf" value="trunc"/>

  <define name="fdev_set_udata(stream, u)" value="do { (stream)- > udata = u; } while(0)"/>

  <define name="fdev_get_udata(stream)" value="((stream)- > udata)"/>

  <define name="fdev_setup_stream" value="(stream, put, get, rwflag)"/>

  <define name="_FDEV_SETUP_READ" value="__SRD"/>

  <define name="_FDEV_SETUP_WRITE" value="__SWR"/>

  <define name="_FDEV_SETUP_RW" value="(__SRD | __SWR)"/>

  <define name="_FDEV_ERR" value="(-1)"/>

  <define name="_FDEV_EOF" value="(-2)"/>

  <define name="FDEV_SETUP_STREAM" value="(put, get, rwflag)"/>

  <define name="putc(__c, __stream)" value="fputc(__c, __stream)"/>

  <define name="putchar(__c)" value="fputc(__c, stdout)"/>

  <define name="getc(__stream)" value="fgetc(__stream)"/>

  <define name="getchar()" value="fgetc(stdin)"/>

  <define name="SEEK_SET" value="0"/>

  <define name="SEEK_CUR" value="1"/>

  <define name="SEEK_END" value="2"/>

  <function name="vfprintf_P">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-null/>

      <not-uninit/>

    </arg>

    <formatstr/>

    <arg nr="2">

      <formatstr/>

    </arg>

    <arg nr="any">

      <not-uninit/>

    </arg>

  </function>

  <function name="printf_P">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <formatstr/>

    <arg nr="1">

      <formatstr/>

    </arg>

    <arg nr="any">

      <not-uninit/>

    </arg>

  </function>

  <function name="sprintf_P">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <formatstr/>

    <arg nr="2">

      <formatstr/>

    </arg>

    <arg nr="any">

      <not-uninit/>

    </arg>

  </function>

  <function name="snprintf_P">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <formatstr/>

    <arg nr="3">

      <formatstr/>

    </arg>

    <arg nr="any">

      <not-uninit/>

    </arg>

  </function>

  <function name="vsprintf_P">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <formatstr/>

    <arg nr="2">

      <formatstr/>

    </arg>

    <arg nr="any">

      <not-uninit/>

    </arg>

  </function>

  <function name="vsnprintf_P">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <formatstr/>

    <arg nr="3">

      <formatstr/>

    </arg>

    <arg nr="any">

      <not-uninit/>

    </arg>

  </function>

  <function name="fprintf_P">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-null/>

      <not-uninit/>

    </arg>

    <formatstr/>

    <arg nr="2">

      <formatstr/>

    </arg>

    <arg nr="any">

      <not-uninit/>

    </arg>

  </function>

  <function name="fputs_P">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-null/>

      <not-uninit/>

    </arg>

    <arg nr="2">

      <not-null/>

      <not-uninit/>

    </arg>

  </function>

  <function name="puts_P">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-null/>

      <not-uninit/>

      <not-bool/>

      <valid>0:</valid>

    </arg>

  </function>

  <function name="scanf_P">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-uninit/>

    </arg>

    <formatstr scan="true"/>

    <arg nr="2">

      <formatstr/>

    </arg>

    <arg nr="any">

      <not-uninit/>

    </arg>

  </function>

  <function name="fscanf_P">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-uninit/>

    </arg>

    <formatstr scan="true"/>

    <arg nr="2">

      <formatstr/>

    </arg>

    <arg nr="any">

      <not-uninit/>

    </arg>

  </function>

  <function name="sscanf_P">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <formatstr scan="true"/>

    <arg nr="2">

      <formatstr/>

    </arg>

  </function>

  <function name="fdevopen">

    <noreturn>false</noreturn>

    <arg nr="1">

      <not-null/>

      <not-uninit/>

    </arg>

    <arg nr="2">

      <not-null/>

      <not-uninit/>

    </arg>

  </function>

  <define name="__ptr_t" value="void *"/>

  <define name="RAND_MAX" value="0x7FFF"/>

  <function name="ltoa">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-uninit/>

    </arg>

    <arg nr="2">

      <not-null/>

      <not-uninit/>

    </arg>

    <arg nr="3">

      <not-null/>

      <not-uninit/>

    </arg>

  </function>

  <function name="utoa">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-uninit/>

    </arg>

    <arg nr="2">

      <not-null/>

      <not-uninit/>

    </arg>

    <arg nr="3">

      <not-null/>

      <not-uninit/>

    </arg>

  </function>

  <function name="ultoa">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-uninit/>

    </arg>

    <arg nr="2">

      <not-null/>

      <not-uninit/>

    </arg>

    <arg nr="3">

      <not-null/>

      <not-uninit/>

    </arg>

  </function>

  <function name="random">

    <noreturn>false</noreturn>

    <leak-ignore/>

  </function>

  <function name="random_r">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-null/>

    </arg>

  </function>

  <function name="srandom">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-uninit/>

    </arg>

  </function>

  <function name="dtostre">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-uninit/>

    </arg>

    <arg nr="2">

      <not-null/>

    </arg>

  </function>

  <function name="dtostrf">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-uninit/>

    </arg>

    <arg nr="2">

      <not-uninit/>

    </arg>

    <arg nr="3">

      <not-uninit/>

    </arg>

    <arg nr="4">

      <not-null/>

    </arg>

  </function>

  <define name="RANDOM_MAX" value="0x7FFFFFFF"/>

  <define name="DTOSTR_ALWAYS_SIGN" value="0x01"/>

  <define name="DTOSTR_PLUS_SIGN" value="0x02"/>

  <define name="DTOSTR_UPPERCASE" value="0x04"/>

  <function name="ffs">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-uninit/>

    </arg>

  </function>

  <function name="ffsl">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-uninit/>

    </arg>

  </function>

  <function name="ffsll">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-uninit/>

    </arg>

  </function>

  <function name="memccpy">

    <noreturn>false</noreturn>

    <leak-ignore/>

    <arg nr="1">

      <not-null/>

    </arg>

    <arg nr="2">

      <not-uninit/>

    </arg>

    <arg nr="3">

      <not-uninit/>

    </arg>

    <arg nr="4">

      <not-uninit/>

    </arg>

  </function>

</def>