diff --git a/cfg/std.cfg b/cfg/std.cfg
index ecbe8e417..a1d1d44c2 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -2819,6 +2819,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- double rint(double x); -->
   <function name="rint">
     <use-retval/>
     <pure/>
@@ -2828,6 +2829,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- float rintf(float x); -->
   <function name="rintf">
     <use-retval/>
     <pure/>
@@ -2837,6 +2839,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long double rintl(long double x); -->
   <function name="rintl">
     <use-retval/>
     <pure/>
@@ -2972,6 +2975,7 @@
     <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
+  <!-- void srand(unsigned int seed); -->
   <function name="srand">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3805,6 +3809,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- double remquo(double, x, double y, int *quo); -->
   <function name="remquo">
     <use-retval/>
     <pure/>
@@ -3820,6 +3825,7 @@
       <not-null/>
     </arg>
   </function>
+  <!-- float remquof(float x, float y, int *quo); -->
   <function name="remquof">
     <use-retval/>
     <pure/>
@@ -3835,6 +3841,7 @@
       <not-null/>
     </arg>
   </function>
+  <!-- long double remquol(long double x, long double y, int *quo); -->
   <function name="remquol">
     <use-retval/>
     <pure/>
@@ -3999,6 +4006,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int rename(const char *oldname, const char *newname); -->
   <function name="rename">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4011,6 +4019,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- void rewind(FILE *stream); -->
   <function name="rewind">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4019,6 +4028,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- double round(double x);  -->
   <function name="round">
     <use-retval/>
     <pure/>
@@ -4028,6 +4038,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- float roundf(float x); -->
   <function name="roundf">
     <use-retval/>
     <pure/>
@@ -4037,6 +4048,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long double roundl(long double x); -->
   <function name="roundl">
     <use-retval/>
     <pure/>
@@ -4046,6 +4058,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long long int scalbln(double x, long int n); -->
   <function name="scalbln">
     <use-retval/>
     <pure/>
@@ -4058,6 +4071,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long long int scalblnf(float x, long int n); -->
   <function name="scalblnf">
     <use-retval/>
     <pure/>
@@ -4070,6 +4084,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long long int scalblnl(long double x, long int n); -->
   <function name="scalblnl">
     <use-retval/>
     <pure/>
@@ -4082,6 +4097,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long long int scalbn(double x, int n); -->
   <function name="scalbn">
     <use-retval/>
     <pure/>
@@ -4094,6 +4110,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long long int scalbnf(float x, int n); -->
   <function name="scalbnf">
     <use-retval/>
     <pure/>
@@ -4106,6 +4123,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long long int scalbnl(long double x, int n); -->
   <function name="scalbnl">
     <use-retval/>
     <pure/>
@@ -4118,6 +4136,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int signbit(double x); -->
   <function name="signbit">
     <use-retval/>
     <pure/>
@@ -4139,6 +4158,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int scanf(const char *format, ...); -->
   <function name="scanf">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4163,6 +4183,7 @@
       <formatstr/>
     </arg>
   </function>
+  <!-- void setbuf(FILE *stream, char *buf); -->
   <function name="setbuf">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4174,6 +4195,7 @@
       <not-bool/>
     </arg>
   </function>
+  <!-- int setvbuf(FILE* stream, char *buf, int mode, size_t size); -->
   <function name="setvbuf">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4210,6 +4232,7 @@
     <alloc init="true">tmpfile</alloc>
     <alloc init="true">freopen</alloc>
   </resource>
+  <!-- char * strcat(char *deststr, const char *srcstr); -->
   <function name="strcat">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4234,6 +4257,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- char * strchr(const char *cs, int c); -->
   <function name="strchr">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4258,6 +4282,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int strcmp(const char *str1, const char *str2); -->
   <function name="strcmp">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4286,6 +4311,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- char *strcpy(char *desstr, const char *srcstr); -->
   <function name="strcpy">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4599,6 +4625,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int strcoll(const char *cs, const char *c); -->
   <function name="strcoll">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4896,6 +4923,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int sprintf(char *s, const char *format, ...); -->
   <function name="sprintf">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4925,6 +4953,7 @@
       <formatstr/>
     </arg>
   </function>
+  <!-- int snprintf(char *s, size_t n, const char *format, ...); -->
   <function name="snprintf">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4957,6 +4986,7 @@
       <formatstr/>
     </arg>
   </function>
+  <!-- int sscanf(const char *string, const char * format, ...);  -->
   <function name="sscanf">
     <noreturn>false</noreturn>
     <leak-ignore/>