diff --git a/cfg/std.cfg b/cfg/std.cfg
index 41e28fe89..7006202b0 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -113,7 +113,112 @@
   <function name="getc"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
   <function name="getenv"><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></function>
- 
+  <function name="gmtime"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
+  <function name="isalnum"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
+  <function name="isalpha"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
+  <function name="isblank"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
+  <function name="iscntrl"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
+  <function name="isdigit"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
+  <function name="isgraph"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
+  <function name="islower"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
+  <function name="isprint"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
+  <function name="ispunct"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
+  <function name="isspace"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
+  <function name="isupper"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
+  <function name="isxdigit"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
+  <function name="labs"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
+  <function name="ldexp">
+       <noreturn>false</noreturn>
+       <leak-ignore/>
+       <arg nr="1"><not-null/><not-uninit/></arg>
+       <arg nr="2"><not-null/><not-uninit/></arg>
+  </function>
+  <function name="ldiv">
+       <noreturn>false</noreturn>
+       <leak-ignore/>
+       <arg nr="1"><not-null/><not-uninit/></arg>
+       <arg nr="2"><not-null/><not-uninit/></arg>
+  </function>
+  <function name="localtime"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function> 
+  <function name="log"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
+  <function name="log10"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
+  <function name="longjmp">
+       <noreturn>false</noreturn>
+       <leak-ignore/>
+       <arg nr="1"><not-null/><not-uninit/></arg>
+       <arg nr="2"><not-null/><not-uninit/></arg>
+  </function>
+  <function name="malloc"><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg></function>
+  <function name="memchr">
+        <noreturn>false</noreturn>
+        <leak-ignore/>
+        <arg nr="1"><not-null/><not-uninit/></arg>
+        <arg nr="2"><not-null/><not-uninit/><not-bool/><valid>0-</valid></arg>
+        <arg nr="3"><not-bool/><valid>0-</valid></arg>
+  </function>
+  <function name="memcmp">
+        <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="memcpy">
+        <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>
+  </function> 
+  <function name="memmove">
+	  <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>
+  </function>
+  <function name="memset"> 
+	  <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>
+  </function>
+  <function name="mktime"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
+  <function name="modf">
+       <noreturn>false</noreturn>
+       <leak-ignore/>
+       <arg nr="1"><not-null/><not-uninit/></arg>
+       <arg nr="2"><not-null/></arg>
+  </function> 
+  <function name="perror"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
+  <function name="pow">
+       <noreturn>false</noreturn>
+       <leak-ignore/>
+       <arg nr="1"><not-null/><not-uninit/></arg>
+       <arg nr="2"><not-null/><not-uninit/></arg>
+  </function>
+  <function name="printf">
+	  <noreturn>false</noreturn>
+	  <formatstr/> <arg nr="1"><formatstr/></arg> <arg nr="any"><not-uninit/></arg>
+  </function>
+  <function name="putc">
+       <noreturn>false</noreturn>
+       <leak-ignore/>
+       <arg nr="1"><not-null/><not-uninit/><not-bool/><valid>0-</valid></arg>
+       <arg nr="2"><not-null/><not-uninit/></arg>
+  </function> 
+  <function name="putchar">
+       <noreturn>false</noreturn>
+       <leak-ignore/>
+       <arg nr="1"><not-null/><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>
+  </function>
+     
   <memory>
     <dealloc>free</dealloc>
 
@@ -139,26 +244,6 @@
        <leak-ignore/>
        <arg nr="1"><not-null/><not-uninit/><not-bool/><valid>0-</valid></arg>
   </function>
-  <function name="isalnum"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
-  <function name="isalpha"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
-  <function name="isblank"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
-  <function name="iscntrl"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
-  <function name="isdigit"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
-  <function name="isgraph"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
-  <function name="islower"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
-  <function name="isprint"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
-  <function name="ispunct"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
-  <function name="isspace"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
-  <function name="isupper"> <noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0-255</valid></arg> </function>
-  <function name="isxdigit"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
-  <function name="tolower"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
-  <function name="toupper"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
-
-  <function name="memchr">  <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg> <arg nr="3"><not-bool/><valid>0-</valid></arg> </function>
-  <function name="memcmp">  <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="memcpy">  <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> </function>
-  <function name="memmove"> <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> </function>
-  <function name="memset">  <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><not-null/></arg> <arg nr="3"><not-bool/><valid>0-</valid></arg> </function>
 
   <function name="strcat">  <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">  <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg> </function>
@@ -179,12 +264,14 @@
   <function name="strtoll">  <leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg> <arg nr="3"><valid>0,2-36</valid></arg> </function>
   <function name="strtoul">  <leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg> <arg nr="3"><valid>0,2-36</valid></arg> </function>
   <function name="strtoull"> <leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg> <arg nr="3"><valid>0,2-36</valid></arg> </function>
+  <function name="tolower"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
+  <function name="toupper"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
   <function name="wcstol">   <leak-ignore/> <arg nr="3"><valid>0,2-36</valid></arg> </function>
   <function name="wcstoll">  <leak-ignore/> <arg nr="3"><valid>0,2-36</valid></arg> </function>
   <function name="wcstoul">  <leak-ignore/> <arg nr="3"><valid>0,2-36</valid></arg> </function>
   <function name="wcstoull"> <leak-ignore/> <arg nr="3"><valid>0,2-36</valid></arg> </function>
 
-  <function name="printf">   <noreturn>false</noreturn> <formatstr/>  <arg nr="1"><formatstr/></arg> <arg nr="any"><not-uninit/></arg> </function>
+
   <function name="wprintf">  <noreturn>false</noreturn> <formatstr/>  <arg nr="1"><formatstr/></arg> </function>
   <function name="sprintf">  <noreturn>false</noreturn> <formatstr/>  <arg nr="2"><formatstr/></arg> </function>
   <function name="fwprintf"> <noreturn>false</noreturn> <formatstr/>  <arg nr="2"><formatstr/></arg> </function>