text: /* NOTE - eventually this file will be automatically updated using a Perl script that understand
   * the naming of test case files, functions, and namespaces.
   */
  
  #include <time.h>   /* for time() */
  #include <stdlib.h> /* for srand() */
  
  #include "std_testcase.h"
  #include "testcases.h"
  
  int main(int argc, char * argv[]) {
  
  	/* seed randomness */
  
  	srand( (unsigned)time(NULL) );
  
  	globalArgc = argc;
  	globalArgv = argv;
  
  #ifndef OMITGOOD
  
  	/* Calling C good functions */
  	/* BEGIN-AUTOGENERATED-C-GOOD-FUNCTION-CALLS */
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_51_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_51_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_16_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_16_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_51_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_51_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_41_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_41_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_10_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_10_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_52_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_52_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_61_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_61_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_08_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_08_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_15_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_15_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_06_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_06_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_51_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_51_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_32_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_32_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_64_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_64_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_15_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_15_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_64_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_64_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_45_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_45_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_09_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_09_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_67_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_67_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_13_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_13_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_16_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_16_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_15_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_15_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_31_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_31_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_17_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_17_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_52_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_52_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_34_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_34_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_41_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_41_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_64_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_64_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_66_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_66_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_09_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_09_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_10_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_10_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_54_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_54_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_01_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_01_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_18_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_18_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_51_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_51_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_64_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_64_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_51_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_51_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_05_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_05_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_32_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_32_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_31_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_31_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_52_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_52_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_44_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_44_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_51_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_51_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_63_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_63_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_07_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_07_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_14_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_14_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_06_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_06_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_02_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_02_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_22_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_22_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_02_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_02_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_67_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_67_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_05_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_05_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_34_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_34_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_17_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_17_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_07_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_07_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_18_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_18_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_61_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_61_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_05_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_05_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_44_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_44_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_32_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_32_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_31_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_31_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_06_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_06_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_66_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_66_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_15_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_15_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_14_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_14_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_12_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_12_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_53_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_53_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_52_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_52_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_10_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_10_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_51_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_51_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_45_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_45_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_53_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_53_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_51_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_51_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_10_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_10_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_41_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_41_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_18_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_18_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_34_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_34_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_02_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_02_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_44_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_44_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_65_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_65_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_54_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_54_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_64_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_64_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_12_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_12_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_61_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_61_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_34_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_34_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_18_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_18_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_01_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_01_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_03_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_03_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_44_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_44_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_66_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_66_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_42_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_42_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_10_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_10_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_21_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_21_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_13_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_13_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_01_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_01_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_11_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_11_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_21_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_21_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_01_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_01_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_08_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_08_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_52_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_52_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_41_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_41_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_45_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_45_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_31_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_31_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_16_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_16_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_05_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_05_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_45_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_45_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_11_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_11_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_32_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_32_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_34_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_34_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_34_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_34_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_42_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_42_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_18_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_18_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_02_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_02_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_52_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_52_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_44_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_44_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_65_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_65_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_63_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_63_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_08_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_08_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_02_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_02_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_13_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_13_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_11_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_11_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_42_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_42_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_65_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_65_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_07_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_07_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_09_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_09_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_07_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_07_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_01_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_01_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_13_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_13_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_44_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_44_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_42_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_42_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_68_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_68_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_04_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_04_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_17_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_17_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_44_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_44_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_05_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_05_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_14_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_14_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_16_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_16_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_21_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_21_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_63_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_63_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_32_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_32_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_14_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_14_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_15_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_15_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_52_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_52_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_52_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_52_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_31_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_31_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_01_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_01_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_66_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_66_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_13_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_13_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_11_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_11_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_13_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_13_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_10_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_10_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_13_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_13_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_04_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_04_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_44_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_44_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_11_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_11_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_14_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_14_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_14_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_14_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_41_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_41_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_12_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_12_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_07_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_07_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_06_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_06_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_12_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_12_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_06_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_06_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_01_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_01_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_68_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_68_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_01_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_01_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_66_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_66_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_64_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_64_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_67_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_67_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_63_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_63_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_04_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_04_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_68_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_68_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_63_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_63_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_54_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_54_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_02_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_02_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_11_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_11_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_53_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_53_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_61_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_61_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_64_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_64_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_18_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_18_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_12_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_12_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_51_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_51_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_15_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_15_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_04_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_04_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_64_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_64_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_16_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_16_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_42_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_42_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_08_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_08_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_42_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_42_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_06_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_06_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_45_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_45_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_22_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_22_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_41_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_41_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_66_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_66_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_11_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_11_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_31_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_31_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_54_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_54_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_21_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_21_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_44_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_44_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_68_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_68_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_64_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_64_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_54_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_54_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_41_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_41_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_42_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_42_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_17_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_17_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_44_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_44_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_22_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_22_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_12_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_12_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_45_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_45_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_09_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_09_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_34_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_34_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_15_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_15_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_12_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_12_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_03_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_03_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_02_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_02_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_17_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_17_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_54_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_54_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_16_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_16_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_67_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_67_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_61_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_61_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_54_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_54_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_65_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_65_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_01_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_01_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_65_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_65_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_63_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_63_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_08_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_08_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_32_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_32_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_03_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_03_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_31_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_31_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_34_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_34_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_21_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_21_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_63_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_63_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_32_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_32_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_41_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_41_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_05_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_05_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_07_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_07_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_41_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_41_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_54_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_54_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_45_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_45_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_65_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_65_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_17_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_17_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_11_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_11_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_13_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_13_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_01_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_01_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_54_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_54_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_66_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_66_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_65_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_65_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_15_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_15_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_16_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_16_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_67_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_67_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_05_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_05_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_06_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_06_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_32_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_32_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_10_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_10_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_09_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_09_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_18_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_18_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_03_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_03_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_61_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_61_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_53_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_53_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_05_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_05_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_44_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_44_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_65_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_65_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_03_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_03_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_22_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_22_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_07_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_07_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_42_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_42_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_42_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_42_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_21_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_21_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_09_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_09_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_22_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_22_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_22_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_22_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_22_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_22_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_03_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_03_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_05_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_05_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_08_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_08_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_32_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_32_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_03_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_03_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_06_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_06_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_14_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_14_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_68_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_68_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_31_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_31_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_53_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_53_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_67_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_67_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_68_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_68_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_22_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_22_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_17_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_17_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_03_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_03_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_02_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_02_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_22_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_22_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_53_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_53_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_08_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_08_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_66_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_66_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_67_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_67_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_18_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_18_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_14_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_14_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_31_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_31_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_53_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_53_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_21_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_21_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_09_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_09_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_63_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_63_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_05_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_05_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_22_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_22_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_32_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_32_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_03_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_03_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_68_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_68_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_03_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_03_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_13_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_13_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_08_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_08_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_09_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_09_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_63_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_63_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_67_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_67_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_12_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_12_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_61_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_61_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_53_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_53_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_18_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_18_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_10_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_10_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_21_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_21_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_09_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_09_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_10_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_10_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_16_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_16_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_15_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_15_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_34_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_34_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_65_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_65_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_05_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_05_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_18_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_18_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_45_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_45_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_61_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_61_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_10_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_10_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_68_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_68_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_68_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_68_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_21_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_21_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_16_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_16_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_13_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_13_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_21_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_21_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_02_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_02_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_10_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_10_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_14_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_14_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_09_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_09_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_04_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_04_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_31_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_31_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_54_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_54_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_63_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_63_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_45_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_45_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_04_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_04_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_22_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_22_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_66_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_66_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_07_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_07_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_06_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_06_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_02_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_02_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_45_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_45_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_14_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_14_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_11_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_11_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_17_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_17_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_09_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_09_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_04_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_04_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_11_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_11_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_04_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_04_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_42_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_42_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_15_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_15_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_45_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_45_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_53_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_53_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_02_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_02_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_51_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_51_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_06_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_06_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_52_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_52_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_61_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_61_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_12_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_12_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_08_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_08_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_17_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_17_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_54_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_54_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_42_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_42_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_32_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_32_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_31_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_31_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_68_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_68_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_52_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_52_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_64_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_64_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_67_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_67_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_21_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_21_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_13_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_13_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_53_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_53_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_67_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_67_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_08_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_08_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_07_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_07_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_65_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_65_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_11_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_11_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_17_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_17_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_07_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_07_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_04_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_04_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_34_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_34_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_61_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_61_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_51_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_51_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_53_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_53_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_67_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_67_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_41_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_41_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_15_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_15_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_64_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_64_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_68_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_68_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_52_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_52_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_63_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_63_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_04_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_04_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_06_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_06_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_66_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_66_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_65_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_65_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_18_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_18_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_07_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_07_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_16_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_16_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_61_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_61_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_01_good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_01_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_12_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_12_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_12_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_12_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_08_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_08_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_34_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_34_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_04_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_04_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_16_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_16_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_66_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_66_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_14_good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_14_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_17_good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_17_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_03_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_03_good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_41_good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_41_good();
  
  	/* END-AUTOGENERATED-C-GOOD-FUNCTION-CALLS */
  
  
  
  
  
  #ifdef __cplusplus
  	/* Calling C++ good functions */
  	/* BEGIN-AUTOGENERATED-CPP-GOOD-FUNCTION-CALLS */
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_62::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_62::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_33::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_33::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_82::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_82::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_81::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_81::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_82::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_82::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_74::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_74::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_74::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_74::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_81::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_81::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_62::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_62::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_33::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_33::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_73::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_73::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_73::good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_73::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_81::good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_81::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_72::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_72::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_43::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_43::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_33::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_33::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_72::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_72::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_72::good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_72::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_82::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_82::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_72::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_72::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_72::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_72::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_83::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_74::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_74::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_81::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_81::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_62::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_62::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_73::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_73::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_33::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_33::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_84::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_43::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_43::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_33::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_33::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_72::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_72::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_33::good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_33::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_43::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_43::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_84::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_74::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_74::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_73::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_73::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_43::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_43::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_62::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_62::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_73::good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_73::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_81::good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_81::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_72::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_72::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_33::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_33::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_81::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_81::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_82::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_82::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_73::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_73::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_62::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_62::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_82::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_82::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_62::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_62::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_43::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_43::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_73::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_73::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_62::good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_62::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_33::good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_33::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_43::good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_43::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_72::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_72::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_81::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_81::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_82::good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_82::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_62::good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_62::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_74::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_74::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_62::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_62::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_43::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_43::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_73::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_73::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_73::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_73::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_72::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_72::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_74::good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_74::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_81::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_81::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_72::good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_72::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_33::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_33::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_73::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_73::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_72::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_72::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_74::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_74::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_43::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_43::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_81::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_81::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_62::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_62::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_43::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_43::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_74::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_74::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_83::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_62::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_62::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_82::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_82::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_83::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_83::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_82::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_82::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_81::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_81::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_43::good();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_43::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_43::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_43::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_82::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_82::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_73::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_73::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_82::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_82::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_82::good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_82::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_74::good();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_74::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_84::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_84::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_74::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_74::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_33::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_33::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_33::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_33::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_74::good();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_74::good();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_81::good();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_81::good();
  
  	/* END-AUTOGENERATED-CPP-GOOD-FUNCTION-CALLS */
  
  #endif /* __cplusplus */
  
  #endif /* OMITGOOD */
  
  #ifndef OMITBAD
  
  	/* Calling C bad functions */
  	/* BEGIN-AUTOGENERATED-C-BAD-FUNCTION-CALLS */
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_51_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_51_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_16_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_16_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_51_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_51_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_41_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_41_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_10_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_10_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_52_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_52_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_61_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_61_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_08_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_08_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_15_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_15_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_06_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_06_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_51_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_51_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_32_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_32_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_64_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_64_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_15_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_15_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_64_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_64_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_45_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_45_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_09_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_09_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_67_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_67_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_13_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_13_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_16_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_16_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_15_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_15_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_31_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_31_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_17_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_17_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_52_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_52_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_34_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_34_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_41_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_41_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_64_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_64_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_66_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_66_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_09_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_09_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_10_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_10_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_54_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_54_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_01_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_01_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_18_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_18_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_51_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_51_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_64_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_64_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_51_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_51_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_05_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_05_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_32_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_32_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_31_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_31_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_52_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_52_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_44_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_44_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_51_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_51_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_63_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_63_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_07_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_07_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_14_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_14_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_06_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_06_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_02_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_02_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_22_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_22_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_02_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_02_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_67_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_67_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_05_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_05_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_34_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_34_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_17_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_17_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_07_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_07_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_18_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_18_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_61_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_61_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_05_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_05_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_44_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_44_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_32_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_32_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_31_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_31_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_06_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_06_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_66_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_66_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_15_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_15_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_14_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_14_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_12_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_12_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_53_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_53_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_52_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_52_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_10_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_10_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_51_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_51_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_45_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_45_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_53_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_53_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_51_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_51_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_10_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_10_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_41_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_41_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_18_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_18_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_34_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_34_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_02_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_02_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_44_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_44_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_65_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_65_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_54_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_54_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_64_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_64_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_12_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_12_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_61_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_61_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_34_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_34_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_18_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_18_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_01_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_01_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_03_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_03_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_44_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_44_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_66_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_66_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_42_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_42_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_10_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_10_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_21_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_21_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_13_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_13_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_01_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_01_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_11_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_11_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_21_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_21_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_01_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_01_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_08_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_08_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_52_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_52_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_41_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_41_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_45_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_45_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_31_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_31_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_16_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_16_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_05_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_05_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_45_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_45_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_11_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_11_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_32_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_32_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_34_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_34_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_34_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_34_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_42_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_42_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_18_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_18_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_02_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_02_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_52_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_52_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_44_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_44_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_65_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_65_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_63_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_63_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_08_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_08_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_02_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_02_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_13_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_13_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_11_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_11_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_42_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_42_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_65_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_65_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_07_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_07_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_09_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_09_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_07_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_07_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_01_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_01_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_13_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_13_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_44_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_44_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_42_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_42_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_68_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_68_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_04_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_04_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_17_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_17_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_44_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_44_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_05_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_05_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_14_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_14_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_16_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_16_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_21_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_21_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_63_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_63_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_32_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_32_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_14_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_14_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_15_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_15_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_52_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_52_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_52_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_52_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_31_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_31_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_01_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_01_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_66_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_66_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_13_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_13_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_11_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_11_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_13_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_13_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_10_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_10_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_13_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_13_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_04_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_04_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_44_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_44_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_11_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_11_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_14_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_14_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_14_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_14_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_41_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_41_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_12_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_12_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_07_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_07_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_06_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_06_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_12_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_12_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_06_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_06_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_01_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_01_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_68_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_68_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_01_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_01_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_66_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_66_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_64_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_64_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_67_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_67_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_63_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_63_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_04_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_04_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_68_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_68_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_63_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_63_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_54_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_54_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_02_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_02_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_11_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_11_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_53_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_53_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_61_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_61_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_64_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_64_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_18_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_18_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_12_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_12_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_51_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_51_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_15_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_15_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_04_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_04_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_64_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_64_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_16_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_16_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_42_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_42_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_08_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_08_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_42_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_42_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_06_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_06_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_45_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_45_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_22_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_22_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_41_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_41_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_66_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_66_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_11_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_11_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_31_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_31_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_54_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_54_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_21_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_21_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_44_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_44_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_68_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_68_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_64_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_64_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_54_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_54_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_41_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_41_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_42_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_42_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_17_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_17_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_44_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_44_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_22_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_22_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_12_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_12_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_45_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_45_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_09_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_09_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_34_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_34_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_15_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_15_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_12_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_12_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_03_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_03_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_02_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_02_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_17_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_17_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_54_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_54_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_16_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_16_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_67_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_67_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_61_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_61_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_54_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_54_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_65_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_65_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_01_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_01_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_65_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_65_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_63_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_63_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_08_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_08_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_32_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_32_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_03_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_03_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_31_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_31_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_34_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_34_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_21_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_21_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_63_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_63_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_32_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_32_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_41_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_41_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_05_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_05_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_07_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_07_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_41_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_41_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_54_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_54_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_45_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_45_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_65_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_65_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_17_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_17_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_11_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_11_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_13_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_13_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_01_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_01_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_54_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_54_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_66_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_66_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_65_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_65_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_15_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_15_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_16_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_16_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_67_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_67_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_05_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_05_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_06_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_06_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_32_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_32_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_10_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_10_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_09_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_09_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_18_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_18_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_03_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_03_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_61_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_61_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_53_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_53_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_05_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_05_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_44_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_44_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_65_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_65_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_03_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_03_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_22_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_22_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_07_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_07_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_42_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_42_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_42_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_42_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_21_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_21_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_09_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_09_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_22_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_22_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_22_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_22_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_22_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_22_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_03_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_03_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_05_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_05_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_08_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_08_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_32_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_32_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_03_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_03_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_06_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_06_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_14_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_14_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_68_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_68_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_31_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_31_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_53_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_53_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_67_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_67_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_68_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_68_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_22_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_22_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_17_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_17_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_03_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_03_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_02_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_02_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_22_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_22_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_53_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_53_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_08_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_08_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_66_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_66_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_67_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_67_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_18_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_18_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_14_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_14_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_31_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_31_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_53_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_53_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_21_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_21_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_09_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_09_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_63_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_63_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_05_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_05_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_22_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_22_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_32_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_32_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_03_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_03_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_68_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_68_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_03_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_03_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_13_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_13_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_08_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_08_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_09_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_09_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_63_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_63_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_67_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_67_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_12_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_12_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_61_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_61_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_53_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_53_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_18_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_18_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_10_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_10_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_21_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_21_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_09_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_09_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_10_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_10_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_16_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_16_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_15_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_15_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_34_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_34_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_65_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_65_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_05_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_05_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_18_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_18_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_45_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_45_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_61_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_61_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_10_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_10_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_68_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_68_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_68_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_68_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_21_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_21_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_16_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_16_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_13_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_13_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_21_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_21_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_02_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_02_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_10_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_10_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_14_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_14_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_09_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_09_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_04_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_04_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_31_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_31_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_54_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_54_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_63_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_63_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_45_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_45_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_04_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_04_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_22_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_22_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_66_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_66_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_07_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_07_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_06_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_06_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_02_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_02_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_45_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_45_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_14_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_14_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_11_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_11_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_17_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_17_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_09_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_09_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_04_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_04_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_11_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_11_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_04_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_04_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_42_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_42_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_15_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_15_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_45_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_45_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_53_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_53_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_02_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_02_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_51_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_51_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_06_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_06_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_52_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_52_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_61_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_61_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_12_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_12_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_08_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_08_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_17_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_17_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_54_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_54_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_42_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_42_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_32_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_32_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_31_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_31_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_68_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_68_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_52_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_52_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_64_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_64_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_67_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_67_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_21_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_21_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_13_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_13_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_53_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_53_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_67_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_67_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_08_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_08_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_07_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_07_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_65_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_65_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_11_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_11_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_17_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_17_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_07_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_07_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_04_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_04_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_34_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_34_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_61_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_61_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_51_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_51_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_53_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_53_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_67_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_67_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_41_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_41_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_15_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_15_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_64_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_64_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_68_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_68_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_52_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_52_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_63_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_63_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_04_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_04_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_06_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_06_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_66_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_66_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_65_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_65_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_18_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_18_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_07_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_07_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_16_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_16_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_61_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_61_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_01_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_01_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_12_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_12_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_12_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_12_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_08_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_08_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_34_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_34_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_04_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_04_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_16_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_16_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_66_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_66_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_14_bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_14_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_17_bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_17_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_03_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_03_bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_41_bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_41_bad();
  
  	/* END-AUTOGENERATED-C-BAD-FUNCTION-CALLS */
  
  
  
  
  	
  #ifdef __cplusplus
  	/* Calling C++ bad functions */
  	/* BEGIN-AUTOGENERATED-CPP-BAD-FUNCTION-CALLS */
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_62::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_62::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_33::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_33::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_82::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_82::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_81::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_81::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_82::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_82::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_74::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_74::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_74::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_74::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_81::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_81::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_62::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_62::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_33::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_33::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_73::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_73::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_73::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_73::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_81::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_81::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_72::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_72::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_43::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_43::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_33::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_33::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_72::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_72::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_72::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_72::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_82::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_82::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_72::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_72::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_72::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_72::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_83::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_74::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_74::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_81::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_81::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_62::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_62::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_73::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_73::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_33::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_33::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_84::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_43::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_43::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_33::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_33::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_72::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_72::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_33::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_33::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_43::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_43::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_84::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_74::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_74::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_73::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_73::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_43::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_43::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_62::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_62::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_73::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_73::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_81::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_81::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_72::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_72::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_33::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_33::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_81::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_81::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_82::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_82::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_73::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_73::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_62::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_62::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_82::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_82::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_62::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_62::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_43::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_43::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_73::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_73::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_62::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_62::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_33::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_33::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_43::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_43::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_72::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_72::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_81::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_81::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_82::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_82::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_62::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_62::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_74::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_74::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_62::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_62::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_43::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_43::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_73::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_73::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_73::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_73::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_72::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_72::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_74::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_74::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_81::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_81::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_72::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_72::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_33::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_33::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_73::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_73::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_72::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_72::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_74::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_74::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_43::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_43::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_81::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_81::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_62::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_62::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_43::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_43::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_74::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_snprintf_74::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_83::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_62::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_62::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_82::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_82::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_83::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_83::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_82::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_82::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_81::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_81::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_fprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_vprintf_43::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_vprintf_43::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_43::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_43::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_printf_82::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_printf_82::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_73::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_73::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_82::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_printf_82::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_82::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_82::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_74::bad();");
  	CWE134_Uncontrolled_Format_String__char_file_w32_vsnprintf_74::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_84::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_84::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_74::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vfprintf_74::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_33::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_vprintf_33::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_33::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_w32_vsnprintf_33::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_74::bad();");
  	CWE134_Uncontrolled_Format_String__char_listen_socket_fprintf_74::bad();
  
  	printLine("Calling CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_81::bad();");
  	CWE134_Uncontrolled_Format_String__wchar_t_connect_socket_snprintf_81::bad();
  
  	/* END-AUTOGENERATED-CPP-BAD-FUNCTION-CALLS */
  	
  #endif /* __cplusplus */
  
  #endif /* OMITBAD */
  
  	return 0;
  
  } 
  