From 44420bdbf151441915fc1c88b21dcdcc119aba92 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Tue, 14 Oct 2014 06:46:47 +0200
Subject: [PATCH] cfg: formatted the cfg files with the runastyle script

---
 cfg/avr.cfg     |  355 +++++---
 cfg/posix.cfg   |  372 ++++++--
 cfg/qt.cfg      |   13 +-
 cfg/sdl.cfg     |   59 +-
 cfg/std.cfg     | 2195 ++++++++++++++++++++++++++++++++++-------------
 cfg/windows.cfg |  359 ++++++--
 6 files changed, 2489 insertions(+), 864 deletions(-)

diff --git a/cfg/avr.cfg b/cfg/avr.cfg
index 35a7622c5..1eed5f6d3 100644
--- a/cfg/avr.cfg
+++ b/cfg/avr.cfg
@@ -22,9 +22,11 @@
   <podtype name="uintmax_t" sign="u" size="8"/>
   <!-- ctype.h -->
   <function name="toascii">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><valid>0:255</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <valid>0:255</valid>
+    </arg>
   </function>
   <!-- errno.h -->
   <define name="EDOM" value="33"/>
@@ -122,15 +124,15 @@
   <define name="truncf" value="trunc"/>
   <!-- The rest of the trigonometric functions are defined in std.cfg -->
   <!-- stdio.h -->
-  <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_set_udata(stream, u)" value="do { (stream)- &gt; udata = u; } while(0)"/>
+  <define name="fdev_get_udata(stream)" value="((stream)- &gt; 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="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)"/>
@@ -139,135 +141,250 @@
   <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>
+    <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>
+    <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>
+    <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>
+    <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>	
+    <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>
+    <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>
+    <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>
+    <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>
+    <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>
+    <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>
+    <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>
+    <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>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <!-- stdlib.h -->
   <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>
+    <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>
+    <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>
+    <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 name="random">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
   </function>
-   <function name="random_r">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/></arg>
+  <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>
+    <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>
+    <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>
+    <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"/>
@@ -275,26 +392,40 @@
   <define name="DTOSTR_UPPERCASE" value="0x04"/>
   <!-- string.h -->
   <function name="ffs">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-uninit/></arg>
+    <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>
+    <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>
+    <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>
+    <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>
diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 755f648da..61692d0c3 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -1,130 +1,334 @@
 <?xml version="1.0"?>
 <def format="1">
-  <function name="usleep">   <noreturn>false</noreturn> <arg nr="1"><not-bool/><valid>0:999999</valid></arg>  </function>
-  <function name="_exit">    <noreturn>true</noreturn>                                                        </function>
-  <function name="closedir"> <noreturn>false</noreturn> <arg nr="1"><not-bool/><not-uninit/><not-null/></arg> </function>
+  <function name="usleep">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <valid>0:999999</valid>
+    </arg>
+  </function>
+  <function name="_exit">
+    <noreturn>true</noreturn>
+  </function>
+  <function name="closedir">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
   <function name="strdup">
-	  <noreturn>false</noreturn>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strdupa">
-	  <noreturn>false</noreturn>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strndup">
-	  <noreturn>false</noreturn>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-uninit/></arg> 	
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strndupa">
-	  <noreturn>false</noreturn>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-uninit/></arg> 	
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcsdup">
-	  <noreturn>false</noreturn>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="mkstemp">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <leak-ignore/>
+  </function>
+  <function name="mkdtemp">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <leak-ignore/>
+  </function>
+  <function name="mktemp">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <leak-ignore/>
   </function>
-  <function name="mkstemp"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
-  <function name="mkdtemp"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
-  <function name="mktemp"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
   <function name="getcwd">
     <noreturn>false</noreturn>
-    <arg nr="2"><not-uninit/></arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
     <leak-ignore/>
   </function>
   <function name="mkdir">
     <noreturn>false</noreturn>
-    <arg nr="1"><not-uninit/><not-null/></arg>
-    <arg nr="2"><not-uninit/></arg>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <leak-ignore/>
+  </function>
+  <function name="rmdir">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <leak-ignore/>
+  </function>
+  <function name="chdir">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
     <leak-ignore/>
   </function>
-  <function name="rmdir"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
-  <function name="chdir"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
   <function name="link">
     <noreturn>false</noreturn>
-    <arg nr="1"><not-uninit/><not-null/></arg>
-    <arg nr="2"><not-uninit/><not-null/></arg>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-null/>
+    </arg>
     <leak-ignore/>
   </function>
-  <function name="rename"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/><not-null/></arg> <leak-ignore/> </function>
-  <function name="isatty"> <noreturn>false</noreturn> <arg nr="1"><not-uninit/></arg> <leak-ignore/> </function>
-
-  <function name="popen"><noreturn>false</noreturn><arg nr="1"><not-null/><not-uninit/></arg><arg nr="2"><not-null/><not-uninit/></arg></function>
-  <function name="pclose"><noreturn>false</noreturn><arg nr="1"><not-null/><not-uninit/></arg></function>
-  <function name="fdopen"><noreturn>false</noreturn><arg nr="1"><not-null/><not-uninit/></arg></function>
+  <function name="rename">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <leak-ignore/>
+  </function>
+  <function name="isatty">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <leak-ignore/>
+  </function>
+  <function name="popen">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="pclose">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="fdopen">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
   <function name="rand_r">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-null/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
   </function>
   <function name="memmem">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/><not-null/></arg>
-       <arg nr="2"><not-uninit/></arg>
-       <arg nr="3"><not-uninit/><not-null/></arg>
-       <arg nr="4"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="memrchr">
-        <noreturn>false</noreturn>
-        <leak-ignore/>
-        <arg nr="1"><not-null/><not-uninit/></arg>
-        <arg nr="2"><not-uninit/><not-bool/><valid>0:</valid></arg>
-        <arg nr="3"><not-bool/><valid>0:</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="rawmemchr">
-        <noreturn>false</noreturn>
-        <leak-ignore/>
-        <arg nr="1"><not-null/><not-uninit/></arg>
-        <arg nr="2"><not-uninit/><not-bool/><valid>0:</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="strcasecmp">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/><not-null/></arg>
-       <arg nr="2"><not-uninit/><not-null/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-null/>
+    </arg>
   </function>
   <function name="strncasecmp">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/><not-null/></arg>
-       <arg nr="2"><not-uninit/><not-null/></arg>
-       <arg nr="3"><not-bool/><valid>0:</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="read">
-       <arg nr="1"><not-uninit/></arg>
-       <arg nr="2"><minsize type="argvalue" arg="3"/></arg>
-       <arg nr="3"><not-uninit/></arg>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="write">
-       <arg nr="1"><not-uninit/></arg>
-       <arg nr="2"><minsize type="argvalue" arg="3"/></arg>
-       <arg nr="3"><not-uninit/></arg>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="recv">
-       <arg nr="1"><not-uninit/></arg>
-       <arg nr="2"><minsize type="argvalue" arg="3"/></arg>
-       <arg nr="3"><not-uninit/></arg>
-	   <arg nr="4"><not-uninit/></arg>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="recvfrom">
-       <arg nr="1"><not-uninit/></arg>
-       <arg nr="2"><minsize type="argvalue" arg="3"/></arg>
-       <arg nr="3"><not-uninit/></arg>
-	   <arg nr="4"><not-uninit/></arg>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="send">
-       <arg nr="1"><not-uninit/></arg>
-       <arg nr="2"><minsize type="argvalue" arg="3"/></arg>
-       <arg nr="3"><not-uninit/></arg>
-	   <arg nr="4"><not-uninit/></arg>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="sendto">
-       <arg nr="1"><not-uninit/></arg>
-       <arg nr="2"><minsize type="argvalue" arg="3"/></arg>
-       <arg nr="3"><not-uninit/></arg>
-	   <arg nr="4"><not-uninit/></arg>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+    </arg>
   </function>
   <memory>
     <dealloc>free</dealloc>
@@ -134,32 +338,26 @@
     <alloc init="true">strndupa</alloc>
     <alloc init="true">wcsdup</alloc>
   </memory>
-
   <resource>
     <dealloc>close</dealloc>
     <alloc init="true">open</alloc>
     <alloc init="true">socket</alloc>
   </resource>
-
   <resource>
     <dealloc>closedir</dealloc>
     <alloc init="true">opendir</alloc>
     <alloc init="true">fdopendir</alloc>
   </resource>
-
   <resource>
     <dealloc>fclose</dealloc>
     <alloc init="true">fdopen</alloc>
   </resource>
-
   <resource>
     <dealloc>pclose</dealloc>
     <alloc init="true">popen</alloc>
   </resource>
-
   <podtype name="in_port_t" sign="u" size="2"/>
   <podtype name="in_addr_t" sign="u" size="4"/>
   <podtype name="socklen_t" sign="u" size="4"/>
   <podtype name="sa_family_t" sign="u" size="2"/>
-
- </def>
+</def>
diff --git a/cfg/qt.cfg b/cfg/qt.cfg
index eb972b8da..3f558af59 100644
--- a/cfg/qt.cfg
+++ b/cfg/qt.cfg
@@ -1,8 +1,6 @@
 <?xml version="1.0"?>
 <def format="1">
-
   <markup ext=".qml" reporterrors="false" aftercode="true">
-
     <!-- keywords in QML code to ignore -->
     <keywords>
       <keyword name="if"/>
@@ -10,7 +8,6 @@
       <keyword name="typeof"/>
       <keyword name="for"/>
     </keywords>
-
     <!-- code blocks are meta-code/pseudo code placed in the library
          that is used/called by the native c/c++ code -->
     <codeblocks>
@@ -33,7 +30,6 @@
       <!-- the start block is '3' tokens after the
            name token so we skip them -->
     </codeblocks>
-
     <codeblocks>
       <block name="function"/>
       <!-- code block structure in QML is:
@@ -42,30 +38,27 @@
             } -->
       <structure offset="2" start="{" end="}"/>
     </codeblocks>
-
     <!-- Qt Properties have the format :
            Q_PROPERTY(<type> <name> READ <func> WRITE <func> NOTIFY <func>)
            the READ/WRITE/NOTIFY parts are optional -->
     <exported>
       <exporter prefix="Q_PROPERTY">
-        <suffix>READ</suffix> <!-- catch the element before READ if present -->
+        <suffix>READ</suffix>
+        <!-- catch the element before READ if present -->
         <prefix>READ</prefix>
         <prefix>WRITE</prefix>
         <prefix>NOTIFY</prefix>
       </exporter>
     </exported>
-
     <!-- qml files can call connect on the c++ code -->
     <imported>
       <importer>connect</importer>
     </imported>
   </markup>
-
   <!-- qt can call methods as strings using invokeMethod -->
   <reflection>
     <call arg="2">invokeMethod</call>
   </reflection>
-
   <!-- the SLOT/SIGNAL methods can be cause false-positives for pure
   virtual functions being called in the constructor because it sees
   the macro as a function. -->
@@ -75,10 +68,8 @@
   <function name="SIGNAL">
     <ignorefunction>true</ignorefunction>
   </function>
-
   <define name="Q_DECL_EXPORT" value=""/>
   <define name="Q_DECL_IMPORT" value=""/>
-
   <podtype name="qint8" sign="s" size="1"/>
   <podtype name="qint16" sign="s" size="2"/>
   <podtype name="qint32" sign="s" size="4"/>
diff --git a/cfg/sdl.cfg b/cfg/sdl.cfg
index 452a0b5ef..db14760cd 100644
--- a/cfg/sdl.cfg
+++ b/cfg/sdl.cfg
@@ -1,12 +1,51 @@
 <?xml version="1.0"?>
 <def format="1">
-  <function name="SDL_mutexP">   <noreturn>false</noreturn> <arg nr="1"><not-bool/><not-null/></arg>  </function>
-  <function name="SDL_mutexV">   <noreturn>false</noreturn> <arg nr="1"><not-bool/><not-null/></arg>  </function>
-  <function name="SDL_RWsize">   <noreturn>false</noreturn> <arg nr="1"><not-bool/><not-null/></arg>  </function>
-  <function name="SDL_RWread">   <noreturn>false</noreturn> <arg nr="1"><not-bool/><not-null/></arg><arg nr="2"><not-bool/><not-null/></arg>  </function>
-  <function name="IMG_isPNG">   <noreturn>false</noreturn> <arg nr="1"><not-bool/><not-null/></arg>  </function>
-  <function name="IMG_isJPG">   <noreturn>false</noreturn> <arg nr="1"><not-bool/><not-null/></arg>  </function>
-
+  <function name="SDL_mutexP">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="SDL_mutexV">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="SDL_RWsize">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="SDL_RWread">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="IMG_isPNG">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="IMG_isJPG">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <not-null/>
+    </arg>
+  </function>
   <resource>
     <dealloc>SDL_FreeSurface</dealloc>
     <alloc init="true">SDL_CreateRGBSurface</alloc>
@@ -16,30 +55,24 @@
     <alloc init="true">IMG_LoadJPG_RW</alloc>
     <alloc init="true">IMG_Load</alloc>
   </resource>
-
   <resource>
     <dealloc>SDL_DestroyMutex</dealloc>
     <alloc init="true">SDL_CreateMutex</alloc>
   </resource>
-
   <resource>
     <dealloc>SDL_WaitThread</dealloc>
     <alloc init="true">SDL_CreateThread</alloc>
   </resource>
-
   <resource>
     <dealloc>SDL_RWclose</dealloc>
     <alloc init="true">SDL_RWFromFile</alloc>
   </resource>
-
   <resource>
     <dealloc>SDL_FreeRW</dealloc>
     <alloc init="true">SDL_AllocRW</alloc>
   </resource>
-
   <resource>
     <dealloc>Mix_FreeMusic</dealloc>
     <alloc init="true">Mix_LoadMUSType_RW</alloc>
   </resource>
 </def>
-
diff --git a/cfg/std.cfg b/cfg/std.cfg
index 0e1210348..0127907d8 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -1,739 +1,1641 @@
 <?xml version="1.0"?>
 <def format="1">
-  <function name="abort"><noreturn>true</noreturn></function>
-  <function name="abs"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/><not-bool/></arg></function>
-  <function name="acos"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
+  <function name="abort">
+    <noreturn>true</noreturn>
+  </function>
+  <function name="abs">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <function name="acos">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
   <function name="asctime">
     <use-retval/>
     <noreturn>false</noreturn>
     <leak-ignore/>
-    <arg nr="1"><not-uninit/></arg>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="assert">
     <leak-ignore/>
   </function>
-  <function name="asin"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
-  <function name="atan"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
-  <function name="atan2"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
-  <function name="atexit"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/></arg></function>
-  <function name="atof"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
-  <function name="atoi"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
-  <function name="atol"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
-  <function name="atoll"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
-  <function name="calloc"><use-retval/><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
-  <function name="ceil"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
-  <function name="clearerr">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+  <function name="asin">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="atan">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="atan2">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="atexit">
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+  </function>
+  <function name="atof">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="atoi">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="atol">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="atoll">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="calloc">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="ceil">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="clearerr">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="clock">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+  </function>
+  <function name="cos">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="cosh">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
   </function>
-  <function name="clock"><noreturn>false</noreturn><leak-ignore/></function>
-  <function name="cos"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
-  <function name="cosh"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
   <function name="ctime">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="difftime">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
   </function>
-  <function name="difftime"><use-retval/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
   <function name="div">
-	  <pure/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-uninit/></arg>
-	  <arg nr="2"><not-uninit/></arg>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="exit">
+    <noreturn>true</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="exp">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="fabs">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
   </function>
-  <function name="exit"><noreturn>true</noreturn><arg nr="1"><not-uninit/></arg></function>
-  <function name="exp"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
-  <function name="fabs"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
   <function name="fclose">
-	  <noreturn>false</noreturn>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="feof">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="ferror">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="fflush">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/><arg nr="1"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="fgetc">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="fgetwc">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="fgetpos">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="floor">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="fmod">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
   </function>
-  <function name="floor"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
-  <function name="fmod"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
   <function name="fopen">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="fprintf">
-	  <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>
+    <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="vfprintf">
-	  <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>
+    <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="vfwprintf">
-	  <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>
+    <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="fputc">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/><not-bool/><valid>0:</valid></arg>
-       <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="fputwc">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/><not-bool/></arg>
-       <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="fputs">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-null/><not-uninit/></arg>
-       <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="fputws">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-null/><not-uninit/></arg>
-       <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="fread">
-        <noreturn>false</noreturn>
-        <leak-ignore/>
-        <arg nr="1"><not-null/><minsize type="mul" arg="2" arg2="3"/></arg>
-        <arg nr="2"><not-uninit/></arg>
-        <arg nr="3"><not-uninit/></arg>
-        <arg nr="4"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <minsize type="mul" arg="2" arg2="3"/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+    <arg nr="4">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="free">
-	  <noreturn>false</noreturn>
-	  <arg nr="1"><not-uninit/>
-  </arg></function>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
   <function name="freopen">
-        <noreturn>false</noreturn>
-        <arg nr="1"><not-uninit/></arg>
-        <arg nr="2"><not-null/><not-uninit/></arg>
-        <arg nr="3"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <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="frexp">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/></arg>
-       <arg nr="2"><not-null/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+    </arg>
   </function>
   <function name="fscanf">
-	  <noreturn>false</noreturn>
-      <leak-ignore/>
-	  <arg nr="1"><not-uninit/></arg>
-	  <formatstr scan="true"/><arg nr="2"><formatstr/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <formatstr scan="true"/>
+    <arg nr="2">
+      <formatstr/>
+    </arg>
   </function>
   <function name="vfscanf">
-	  <noreturn>false</noreturn>
-      <leak-ignore/>
-	  <arg nr="1"><not-uninit/></arg>
-	  <formatstr scan="true"/><arg nr="2"><formatstr/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <formatstr scan="true"/>
+    <arg nr="2">
+      <formatstr/>
+    </arg>
   </function>
   <function name="fseek">
-        <noreturn>false</noreturn>
-        <leak-ignore/>
-        <arg nr="1"><not-null/><not-uninit/></arg>
-        <arg nr="2"><not-uninit/></arg>
-        <arg nr="3"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="fsetpos">
-        <noreturn>false</noreturn>
-        <leak-ignore/>
-        <arg nr="1"><not-null/><not-uninit/></arg>
-        <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="fgets">
-        <noreturn>false</noreturn>
-        <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>
+    <noreturn>false</noreturn>
+    <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>
   <function name="ftell">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="fwrite">
-        <noreturn>false</noreturn>
-        <leak-ignore/>
-        <arg nr="1"><not-null/><not-uninit/><minsize type="mul" arg="2" arg2="3"/></arg>
-        <arg nr="2"><not-uninit/></arg>
-        <arg nr="3"><not-uninit/></arg>
-        <arg nr="4"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+      <minsize type="mul" arg="2" arg2="3"/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+    <arg nr="4">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="mblen">
-        <use-retval/>
-        <noreturn>false</noreturn>
-        <leak-ignore/>
-        <arg nr="1"><not-uninit/></arg>
-        <arg nr="2"><not-uninit/></arg>
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="mbtowc">
-        <noreturn>false</noreturn>
-        <leak-ignore/>
-        <arg nr="2"><not-uninit/></arg>
-        <arg nr="3"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="mbstowcs">
-        <noreturn>false</noreturn>
-        <leak-ignore/>
-        <arg nr="2"><not-null/><not-uninit/></arg>
-        <arg nr="3"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wctomb">
-        <noreturn>false</noreturn>
-        <leak-ignore/>
-        <arg nr="1"><not-uninit/></arg>
-        <arg nr="2"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcstombs">
-        <noreturn>false</noreturn>
-        <leak-ignore/>
-        <arg nr="2"><not-null/><not-uninit/></arg>
-        <arg nr="3"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="getc">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="getchar">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
   </function>
   <function name="ungetc">
-		<noreturn>false</noreturn>
-		<leak-ignore/>
-		<arg nr="1"><not-uninit/></arg>
-		<arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="ungetwc">
-		<noreturn>false</noreturn>
-		<leak-ignore/>
-		<arg nr="1"><not-uninit/></arg>
-		<arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="getenv">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
-  <function name="getenv"><use-retval/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
   <function name="gets">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
   </function>
   <function name="gmtime">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="isalnum">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <valid>0:255</valid>
+    </arg>
+  </function>
+  <function name="isalpha">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <valid>0:255</valid>
+    </arg>
+  </function>
+  <function name="isblank">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <valid>0:255</valid>
+    </arg>
+  </function>
+  <function name="iscntrl">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <valid>0:255</valid>
+    </arg>
+  </function>
+  <function name="isdigit">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <valid>0:255</valid>
+    </arg>
+  </function>
+  <function name="isgraph">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <valid>0:255</valid>
+    </arg>
+  </function>
+  <function name="islower">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <valid>0:255</valid>
+    </arg>
+  </function>
+  <function name="isprint">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <valid>0:255</valid>
+    </arg>
+  </function>
+  <function name="ispunct">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <valid>0:255</valid>
+    </arg>
+  </function>
+  <function name="isspace">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <valid>0:255</valid>
+    </arg>
+  </function>
+  <function name="isupper">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <valid>0:255</valid>
+    </arg>
+  </function>
+  <function name="isxdigit">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <valid>0:255</valid>
+    </arg>
+  </function>
+  <function name="labs">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="llabs">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
   </function>
-  <function name="isalnum"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
-  <function name="isalpha"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
-  <function name="isblank"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
-  <function name="iscntrl"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
-  <function name="isdigit"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
-  <function name="isgraph"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
-  <function name="islower"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
-  <function name="isprint"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
-  <function name="ispunct"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
-  <function name="isspace"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
-  <function name="isupper"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
-  <function name="isxdigit"><use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
-  <function name="labs">    <use-retval/><pure/><noreturn>false</noreturn><leak-ignore/>   <arg nr="1"><not-uninit/></arg></function>
-  <function name="llabs">   <use-retval/><pure/><noreturn>false</noreturn><leak-ignore/>   <arg nr="1"><not-uninit/></arg></function>
   <function name="ldexp">
-       <use-retval/>
-       <pure/>
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/></arg>
-       <arg nr="2"><not-uninit/></arg>
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="rand">
-       <use-retval/>
-       <noreturn>false</noreturn>
-       <leak-ignore/>
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
   </function>
   <function name="srand">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="ldiv">
-       <pure/>
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/></arg>
-       <arg nr="2"><not-uninit/></arg>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="lldiv">
-       <pure/>
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/></arg>
-       <arg nr="2"><not-uninit/></arg>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="localtime">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="log">
+    <!--<use-retval/>-->
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="log10">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
   </function>
-  <function name="log"><!--<use-retval/>--><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
-  <function name="log10"><use-retval/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
   <function name="longjmp">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/></arg>
-       <arg nr="2"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="malloc">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="alloca">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
   </function>
-  <function name="malloc"><use-retval/><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg></function>
-  <function name="alloca"><use-retval/><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg></function>
   <function name="memchr">
-        <use-retval/>
-        <pure/>
-        <noreturn>false</noreturn>
-        <leak-ignore/>
-        <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-bool/><valid>0:</valid></arg>
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <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-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="memcmp">
-        <use-retval/>
-        <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-bool/><valid>0:</valid></arg>
+    <use-retval/>
+    <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-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="memcpy">
-		<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-bool/><valid>0:</valid></arg>
+    <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-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="memmove">
-	  <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-bool/><valid>0:</valid></arg>
+    <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-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="memset">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><minsize type="argvalue" arg="3"/></arg>
-	  <arg nr="2"><not-uninit/></arg>
-	  <arg nr="3"><not-bool/><valid>0:</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="mktime">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="modf">
-       <use-retval/>
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/></arg>
-       <arg nr="2"><not-null/></arg>
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+    </arg>
   </function>
   <function name="perror">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="pow">
-       <use-retval/>
-       <pure/>
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/></arg>
-       <arg nr="2"><not-uninit/></arg>
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="printf">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <formatstr/> <arg nr="1"><formatstr/></arg>
-	  <arg nr="any"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr/>
+    <arg nr="1">
+      <formatstr/>
+    </arg>
+    <arg nr="any">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="vprintf">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <formatstr/> <arg nr="1"><formatstr/></arg>
-	  <arg nr="any"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr/>
+    <arg nr="1">
+      <formatstr/>
+    </arg>
+    <arg nr="any">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="vwprintf">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <formatstr/> <arg nr="1"><formatstr/></arg>
-	  <arg nr="any"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr/>
+    <arg nr="1">
+      <formatstr/>
+    </arg>
+    <arg nr="any">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="bsearch">
-       <use-retval/>
-       <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/></arg>
-       <arg nr="4"><not-uninit/></arg>
-       <arg nr="5"><not-null/><not-uninit/></arg>
+    <use-retval/>
+    <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/>
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+    </arg>
+    <arg nr="5">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="qsort">
-       <noreturn>false</noreturn>
-       <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-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <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-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="putc">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/><not-bool/><valid>0:</valid></arg>
-       <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="putwc">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/><not-bool/></arg>
-       <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="putchar">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-uninit/><not-bool/><valid>0:</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="puts">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-null/><not-uninit/><not-bool/><valid>0:</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="realloc">
-	  <noreturn>false</noreturn>
-	  <arg nr="2"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="remove">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="rename">
-       <noreturn>false</noreturn>
-       <leak-ignore/>
-       <arg nr="1"><not-null/><not-uninit/></arg>
-       <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="rewind">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <function name="round">
+    <use-retval/>
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
   </function>
-  <function name="round"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
   <function name="scanf">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <formatstr scan="true"/><arg nr="1"><formatstr/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr scan="true"/>
+    <arg nr="1">
+      <formatstr/>
+    </arg>
   </function>
   <function name="vscanf">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <formatstr scan="true"/><arg nr="1"><formatstr/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr scan="true"/>
+    <arg nr="1">
+      <formatstr/>
+    </arg>
   </function>
   <function name="setbuf">
-        <noreturn>false</noreturn>
-        <leak-ignore/>
-        <arg nr="1"><not-null/><not-uninit/></arg>
-        <arg nr="2"><not-bool/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+    </arg>
   </function>
   <function name="setvbuf">
-        <noreturn>false</noreturn>
-        <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/></arg>
+    <noreturn>false</noreturn>
+    <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/>
+    </arg>
+  </function>
+  <function name="setjmp">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
   </function>
-  <function name="setjmp"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
-
   <memory>
     <dealloc>free</dealloc>
-
     <alloc init="false">malloc</alloc>
     <alloc init="true">calloc</alloc>
   </memory>
-
   <resource>
     <dealloc>fclose</dealloc>
     <alloc init="true">fopen</alloc>
     <alloc init="true">tmpfile</alloc>
     <alloc init="true">freopen</alloc>
   </resource>
-
   <function name="strcat">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcscat">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strchr">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcschr">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strcmp">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <pure/>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <pure/>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcscmp">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <pure/>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <pure/>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strcpy">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><minsize type="strlen" arg="2"/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <minsize type="strlen" arg="2"/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcscpy">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strftime">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/></arg>
-	  <arg nr="2"><not-uninit/></arg>
-	  <arg nr="3"><not-null/><not-uninit/></arg>
-	  <arg nr="4"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="4">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strlen">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	</function>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
   <function name="wcslen">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	</function>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
   <function name="strncpy">
-	  <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-bool/><valid>0:</valid></arg>
+    <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-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="strncat">
-	  <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/></arg>
-	  <arg nr="3"><not-bool/><valid>0:</valid></arg>
+    <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/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="wcsncat">
-	  <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-bool/><valid>0:</valid></arg>
+    <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-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="strncmp">
     <use-retval/>
-	  <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-bool/><valid>0:</valid></arg>
+    <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-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="wcsncmp">
     <use-retval/>
-	  <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-bool/><valid>0:</valid></arg>
+    <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-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="strstr">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcsstr">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strspn">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strxfrm">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
-	  <arg nr="3"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcsxfrm">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
-	  <arg nr="3"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcsspn">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strerror">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
   </function>
   <function name="strcspn">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcscspn">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcspbrk">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcsncpy">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
-	  <arg nr="3"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strcoll">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcscoll">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strrchr">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="2"><valid>0:255</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <valid>0:255</valid>
+    </arg>
   </function>
   <function name="strbprk">
     <use-retval/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <pure/>
-    <arg nr="1"><not-null/><not-uninit/></arg>
-    <arg nr="2"><not-null/><not-uninit/></arg>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcsrchr">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strtok">
     <use-retval/>
@@ -750,156 +1652,290 @@
   </function>
   <function name="strtol">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="3"><valid>0,2:36</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <valid>0,2:36</valid>
+    </arg>
   </function>
   <function name="strtof">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strtod">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strtold">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="strtoul">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="3"><valid>0,2:36</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <valid>0,2:36</valid>
+    </arg>
   </function>
   <function name="strtoll">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="3"><valid>0,2:36</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <valid>0,2:36</valid>
+    </arg>
   </function>
   <function name="strtoull">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/>
-	  </arg> <arg nr="3"><valid>0,2:36</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <valid>0,2:36</valid>
+    </arg>
+  </function>
+  <function name="time">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+  </function>
+  <function name="tmpnam">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1"/>
+  </function>
+  <function name="tmpfile">
+    <use-retval/>
+    <noreturn>false</noreturn>
+  </function>
+  <function name="tolower">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <valid>0:255</valid>
+    </arg>
+  </function>
+  <function name="toupper">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <valid>0:255</valid>
+    </arg>
+  </function>
+  <function name="va_arg">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+  </function>
+  <function name="va_copy">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+  </function>
+  <function name="va_end">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+  </function>
+  <function name="va_start">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
   </function>
-  <function name="time"> <noreturn>false</noreturn> <leak-ignore/> </function>
-  <function name="tmpnam"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"></arg></function>
-  <function name="tmpfile"> <use-retval/> <noreturn>false</noreturn> </function>
-  <function name="tolower"> <use-retval/> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
-  <function name="toupper"> <use-retval/> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
-  <function name="va_arg">   <noreturn>false</noreturn> <leak-ignore/> </function>
-  <function name="va_copy">  <noreturn>false</noreturn> <leak-ignore/> </function>
-  <function name="va_end">   <noreturn>false</noreturn> <leak-ignore/> </function>
-  <function name="va_start"> <noreturn>false</noreturn> <leak-ignore/> </function>
   <function name="wcstof">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcstod">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcstold">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
   </function>
   <function name="wcstol">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="3"><valid>0,2:36</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <valid>0,2:36</valid>
+    </arg>
   </function>
   <function name="wcstoll">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="3"><valid>0,2:36</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <valid>0,2:36</valid>
+    </arg>
   </function>
   <function name="wcstoul">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="3"><valid>0,2:36</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <valid>0,2:36</valid>
+    </arg>
   </function>
   <function name="wcstoull">
     <use-retval/>
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <arg nr="1"><not-null/><not-uninit/></arg>
-	  <arg nr="3"><valid>0,2:36</valid></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <valid>0,2:36</valid>
+    </arg>
   </function>
-
   <function name="wprintf">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/><formatstr/><arg nr="1"><formatstr/></arg>
-	  <arg nr="any"><not-uninit/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr/>
+    <arg nr="1">
+      <formatstr/>
+    </arg>
+    <arg nr="any">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="sprintf">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <formatstr/><arg nr="2"><formatstr/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr/>
+    <arg nr="2">
+      <formatstr/>
+    </arg>
   </function>
   <function name="vsprintf">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <formatstr/><arg nr="2"><formatstr/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr/>
+    <arg nr="2">
+      <formatstr/>
+    </arg>
   </function>
   <function name="fwprintf">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <formatstr/>
-	  <arg nr="2"><formatstr/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr/>
+    <arg nr="2">
+      <formatstr/>
+    </arg>
   </function>
   <function name="snprintf">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <formatstr/> <arg nr="3"><formatstr/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr/>
+    <arg nr="3">
+      <formatstr/>
+    </arg>
+  </function>
+  <function name="vsnprintf">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr/>
+    <arg nr="3">
+      <formatstr/>
+    </arg>
+  </function>
+  <function name="fnprintf">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr/>
+    <arg nr="3">
+      <formatstr/>
+    </arg>
   </function>
-  <function name="vsnprintf"> <noreturn>false</noreturn> <leak-ignore/> <formatstr/>  <arg nr="3"><formatstr/></arg> </function>
-  <function name="fnprintf"> <noreturn>false</noreturn> <leak-ignore/> <formatstr/>  <arg nr="3"><formatstr/></arg> </function>
-
   <function name="wscanf">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <formatstr scan="true"/>  <arg nr="1"><formatstr/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr scan="true"/>
+    <arg nr="1">
+      <formatstr/>
+    </arg>
   </function>
   <function name="sscanf">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <formatstr scan="true"/>  <arg nr="2"><formatstr/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr scan="true"/>
+    <arg nr="2">
+      <formatstr/>
+    </arg>
   </function>
   <function name="fwscanf">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <formatstr scan="true"/>  <arg nr="2"><formatstr/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr scan="true"/>
+    <arg nr="2">
+      <formatstr/>
+    </arg>
   </function>
   <function name="swscanf">
-	  <noreturn>false</noreturn>
-	  <leak-ignore/>
-	  <formatstr scan="true"/><arg nr="2"><formatstr/></arg>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr scan="true"/>
+    <arg nr="2">
+      <formatstr/>
+    </arg>
   </function>
-
   <podtype name="int8_t" sign="s" size="1"/>
   <podtype name="int16_t" sign="s" size="2"/>
   <podtype name="int32_t" sign="s" size="4"/>
@@ -918,8 +1954,15 @@
   <podtype name="uint_fast64_t" sign="u"/>
   <podtype name="intptr_t" sign="s"/>
   <podtype name="uintptr_t" sign="u"/>
-
   <!--Not part of standard, but widely supported by runtime libraries-->
-  <function name="itoa"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg><arg nr="2"><not-null/></arg></function>
+  <function name="itoa">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+    </arg>
+  </function>
 </def>
-
diff --git a/cfg/windows.cfg b/cfg/windows.cfg
index 8480b6785..aa9104a92 100644
--- a/cfg/windows.cfg
+++ b/cfg/windows.cfg
@@ -72,7 +72,6 @@
     <alloc init="true">LockServiceDatabase</alloc>
     <dealloc>UnlockServiceDatabase</dealloc>
   </resource>
-
   <memory>
     <alloc>ExAllocatePool</alloc>
     <alloc>ExAllocatePoolWithQuota</alloc>
@@ -179,135 +178,366 @@
     <alloc init="true">_wcsdup_dbg</alloc>
     <dealloc>free</dealloc>
   </memory>
-
   <function name="RtlCompareMemory">
     <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-bool/><valid>0:</valid></arg>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="RtlCopyBytes">
     <noreturn>false</noreturn>
     <leak-ignore/>
-    <arg nr="1"><not-null/></arg>
-    <arg nr="2"><not-null/><not-uninit/></arg>
-    <arg nr="3"><not-bool/><valid>0:</valid></arg>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="RtlCopyMemory">
     <noreturn>false</noreturn>
     <leak-ignore/>
-    <arg nr="1"><not-null/></arg>
-    <arg nr="2"><not-null/><not-uninit/></arg>
-    <arg nr="3"><not-bool/><valid>0:</valid></arg>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="RtlEqualMemory">
     <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-bool/><valid>0:</valid></arg>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="RtlFillBytes">
     <noreturn>false</noreturn>
     <leak-ignore/>
-    <arg nr="1"><not-null/></arg>
-    <arg nr="2"><not-bool/><valid>0:</valid></arg>
-    <arg nr="3"><not-uninit/></arg>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="RtlFillMemory">
     <noreturn>false</noreturn>
     <leak-ignore/>
-    <arg nr="1"><not-null/></arg>
-    <arg nr="2"><not-bool/><valid>0:</valid></arg>
-    <arg nr="3"><not-uninit/></arg>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="RtlMoveMemory">
     <noreturn>false</noreturn>
     <leak-ignore/>
-    <arg nr="1"><not-null/></arg>
-    <arg nr="2"><not-null/><not-uninit/></arg>
-    <arg nr="3"><not-bool/><valid>0:</valid></arg>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="RtlSecureZeroMemory">
     <noreturn>false</noreturn>
     <leak-ignore/>
-    <arg nr="1"><not-null/></arg>
-    <arg nr="2"><not-bool/><valid>0:</valid></arg>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="RtlZeroBytes">
     <noreturn>false</noreturn>
     <leak-ignore/>
-    <arg nr="1"><not-null/></arg>
-    <arg nr="2"><not-bool/><valid>0:</valid></arg>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="RtlZeroMemory">
     <noreturn>false</noreturn>
     <leak-ignore/>
-    <arg nr="1"><not-null/></arg>
-    <arg nr="2"><not-bool/><valid>0:</valid></arg>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
-
   <function name="CopyMemory">
     <noreturn>false</noreturn>
     <leak-ignore/>
-    <arg nr="1"><not-null/></arg>
-    <arg nr="2"><not-null/><not-uninit/></arg>
-    <arg nr="3"><not-bool/><valid>0:</valid></arg>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="FillMemory">
     <noreturn>false</noreturn>
     <leak-ignore/>
-    <arg nr="1"><not-null/></arg>
-    <arg nr="2"><not-bool/><valid>0:</valid></arg>
-    <arg nr="3"><not-uninit/></arg>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
   </function>
   <function name="MoveMemory">
     <noreturn>false</noreturn>
     <leak-ignore/>
-    <arg nr="1"><not-null/></arg>
-    <arg nr="2"><not-null/><not-uninit/></arg>
-    <arg nr="3"><not-bool/><valid>0:</valid></arg>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="SecureZeroMemory">
     <noreturn>false</noreturn>
     <leak-ignore/>
-    <arg nr="1"><not-null/></arg>
-    <arg nr="2"><not-bool/><valid>0:</valid></arg>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
   <function name="ZeroMemory">
     <noreturn>false</noreturn>
     <leak-ignore/>
-    <arg nr="1"><not-null/></arg>
-    <arg nr="2"><not-bool/><valid>0:</valid></arg>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
   </function>
-
   <function name="KeBugCheck">
     <noreturn>true</noreturn>
   </function>
   <function name="KeBugCheckEx">
     <noreturn>true</noreturn>
   </function>
-
-  <function name="printf_s"><noreturn>false</noreturn><leak-ignore/><formatstr secure="true"/><arg nr="1"><formatstr/><not-uninit/><not-null/></arg> </function>
-  <function name="wprintf_s"><noreturn>false</noreturn><leak-ignore/><formatstr secure="true"/><arg nr="1"><formatstr/><not-uninit/><not-null/></arg> </function>
-  <function name="fprintf_s"><noreturn>false</noreturn><leak-ignore/><formatstr secure="true"/><arg nr="2"><formatstr/><not-uninit/><not-null/></arg> </function>
-  <function name="fwprintf_s"><noreturn>false</noreturn><leak-ignore/><formatstr secure="true"/><arg nr="2"><formatstr/><not-uninit/><not-null/></arg> </function>
-  <function name="_snprintf_s"><noreturn>false</noreturn><leak-ignore/><formatstr secure="true"/><arg nr="4"><formatstr/><not-uninit/><not-null/></arg> </function>
-  <function name="_snwprintf_s"><noreturn>false</noreturn><leak-ignore/><formatstr secure="true"/><arg nr="4"><formatstr/><not-uninit/><not-null/></arg> </function>
-
-  <function name="DbgPrint"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><formatstr/><not-uninit/><not-null/></arg> </function>
-  <function name="DbgPrintEx"><noreturn>false</noreturn><leak-ignore/><arg nr="3"><formatstr/><not-uninit/><not-null/></arg> </function>
-  <function name="vDbgPrintEx"><noreturn>false</noreturn><leak-ignore/><arg nr="3"><formatstr/><not-uninit/><not-null/></arg> </function>
-  <function name="vDbgPrintExWithPrefix"><noreturn>false</noreturn><leak-ignore/><arg nr="4"><formatstr/><not-uninit/><not-null/></arg> </function>
-
-  <function name="scanf_s">    <noreturn>false</noreturn> <formatstr scan="true" secure="true"/>  <arg nr="1"><formatstr/><not-uninit/><not-null/></arg> </function>
-  <function name="wscanf_s">   <noreturn>false</noreturn> <formatstr scan="true" secure="true"/>  <arg nr="1"><formatstr/><not-uninit/><not-null/></arg> </function>
-  <function name="sscanf_s">   <noreturn>false</noreturn> <formatstr scan="true" secure="true"/>  <arg nr="2"><formatstr/><not-uninit/><not-null/></arg> </function>
-  <function name="fscanf_s">   <noreturn>false</noreturn> <formatstr scan="true" secure="true"/>  <arg nr="2"><formatstr/><not-uninit/><not-null/></arg> </function>
-  <function name="fwscanf_s">  <noreturn>false</noreturn> <formatstr scan="true" secure="true"/>  <arg nr="2"><formatstr/><not-uninit/><not-null/></arg> </function>
-  <function name="swscanf_s">  <noreturn>false</noreturn> <formatstr scan="true" secure="true"/>  <arg nr="2"><formatstr/><not-uninit/><not-null/></arg> </function>
-
+  <function name="printf_s">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr secure="true"/>
+    <arg nr="1">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="wprintf_s">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr secure="true"/>
+    <arg nr="1">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="fprintf_s">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr secure="true"/>
+    <arg nr="2">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="fwprintf_s">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr secure="true"/>
+    <arg nr="2">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="_snprintf_s">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr secure="true"/>
+    <arg nr="4">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="_snwprintf_s">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr secure="true"/>
+    <arg nr="4">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="DbgPrint">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="DbgPrintEx">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="3">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="vDbgPrintEx">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="3">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="vDbgPrintExWithPrefix">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="4">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="scanf_s">
+    <noreturn>false</noreturn>
+    <formatstr scan="true" secure="true"/>
+    <arg nr="1">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="wscanf_s">
+    <noreturn>false</noreturn>
+    <formatstr scan="true" secure="true"/>
+    <arg nr="1">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="sscanf_s">
+    <noreturn>false</noreturn>
+    <formatstr scan="true" secure="true"/>
+    <arg nr="2">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="fscanf_s">
+    <noreturn>false</noreturn>
+    <formatstr scan="true" secure="true"/>
+    <arg nr="2">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="fwscanf_s">
+    <noreturn>false</noreturn>
+    <formatstr scan="true" secure="true"/>
+    <arg nr="2">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <function name="swscanf_s">
+    <noreturn>false</noreturn>
+    <formatstr scan="true" secure="true"/>
+    <arg nr="2">
+      <formatstr/>
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
   <podtype name="ACCESS_MASK" sign="u" size="4"/>
   <podtype name="ATOM" sign="u" size="2"/>
   <podtype name="BOOL" sign="s" size="4"/>
@@ -375,5 +605,4 @@
   <podtype name="USN" sign="s" size="8"/>
   <podtype name="WORD" sign="u" size="2"/>
   <podtype name="WPARAM" sign="u"/>
-
 </def>