+ element="Integer types and values <stdint.h>"
+ element=`printf "%s" "$element" | sed -e "$sed_lt" -e "$sed_gt"`
+ func_section_wrap isoc_sup_stdint
+ func_wrap H3
+ func_echo "$element"
+
+ func_begin_table
+ func_module stdint
+ func_end_table
+
+ element="Input/output <stdio.h>"
+ element=`printf "%s" "$element" | sed -e "$sed_lt" -e "$sed_gt"`
+ func_section_wrap isoc_sup_stdio
+ func_wrap H3
+ func_echo "$element"
+
+ func_begin_table
+ func_module snprintf
+ func_module vsnprintf
+ func_end_table
+