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) );
  
  	global_argc = argc;
  	global_argv = argv;
  
  #ifndef OMITGOOD
  
  	/* Calling C good functions */
  	/* BEGIN-AUTOGENERATED-C-GOOD-FUNCTION-CALLS */
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_01_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_02_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_03_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_04_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_05_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_06_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_07_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_08_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_09_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_10_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_11_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_12_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_13_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_14_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_15_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_16_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_17_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_18_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_19_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_31_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_32_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_34_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_41_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_42_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_44_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_45_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_51_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_52_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_53_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_54_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_61_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_63_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_64_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_65_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_66_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_67_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_68_good();");
  	CWE369_Divide_By_Zero__float_connect_socket_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_01_good();");
  	CWE369_Divide_By_Zero__float_fgets_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_02_good();");
  	CWE369_Divide_By_Zero__float_fgets_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_03_good();");
  	CWE369_Divide_By_Zero__float_fgets_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_04_good();");
  	CWE369_Divide_By_Zero__float_fgets_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_05_good();");
  	CWE369_Divide_By_Zero__float_fgets_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_06_good();");
  	CWE369_Divide_By_Zero__float_fgets_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_07_good();");
  	CWE369_Divide_By_Zero__float_fgets_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_08_good();");
  	CWE369_Divide_By_Zero__float_fgets_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_09_good();");
  	CWE369_Divide_By_Zero__float_fgets_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_10_good();");
  	CWE369_Divide_By_Zero__float_fgets_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_11_good();");
  	CWE369_Divide_By_Zero__float_fgets_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_12_good();");
  	CWE369_Divide_By_Zero__float_fgets_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_13_good();");
  	CWE369_Divide_By_Zero__float_fgets_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_14_good();");
  	CWE369_Divide_By_Zero__float_fgets_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_15_good();");
  	CWE369_Divide_By_Zero__float_fgets_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_16_good();");
  	CWE369_Divide_By_Zero__float_fgets_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_17_good();");
  	CWE369_Divide_By_Zero__float_fgets_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_18_good();");
  	CWE369_Divide_By_Zero__float_fgets_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_19_good();");
  	CWE369_Divide_By_Zero__float_fgets_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_31_good();");
  	CWE369_Divide_By_Zero__float_fgets_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_32_good();");
  	CWE369_Divide_By_Zero__float_fgets_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_34_good();");
  	CWE369_Divide_By_Zero__float_fgets_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_41_good();");
  	CWE369_Divide_By_Zero__float_fgets_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_42_good();");
  	CWE369_Divide_By_Zero__float_fgets_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_44_good();");
  	CWE369_Divide_By_Zero__float_fgets_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_45_good();");
  	CWE369_Divide_By_Zero__float_fgets_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_51_good();");
  	CWE369_Divide_By_Zero__float_fgets_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_52_good();");
  	CWE369_Divide_By_Zero__float_fgets_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_53_good();");
  	CWE369_Divide_By_Zero__float_fgets_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_54_good();");
  	CWE369_Divide_By_Zero__float_fgets_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_61_good();");
  	CWE369_Divide_By_Zero__float_fgets_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_63_good();");
  	CWE369_Divide_By_Zero__float_fgets_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_64_good();");
  	CWE369_Divide_By_Zero__float_fgets_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_65_good();");
  	CWE369_Divide_By_Zero__float_fgets_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_66_good();");
  	CWE369_Divide_By_Zero__float_fgets_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_67_good();");
  	CWE369_Divide_By_Zero__float_fgets_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_68_good();");
  	CWE369_Divide_By_Zero__float_fgets_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_01_good();");
  	CWE369_Divide_By_Zero__float_fscanf_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_02_good();");
  	CWE369_Divide_By_Zero__float_fscanf_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_03_good();");
  	CWE369_Divide_By_Zero__float_fscanf_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_04_good();");
  	CWE369_Divide_By_Zero__float_fscanf_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_05_good();");
  	CWE369_Divide_By_Zero__float_fscanf_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_06_good();");
  	CWE369_Divide_By_Zero__float_fscanf_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_07_good();");
  	CWE369_Divide_By_Zero__float_fscanf_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_08_good();");
  	CWE369_Divide_By_Zero__float_fscanf_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_09_good();");
  	CWE369_Divide_By_Zero__float_fscanf_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_10_good();");
  	CWE369_Divide_By_Zero__float_fscanf_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_11_good();");
  	CWE369_Divide_By_Zero__float_fscanf_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_12_good();");
  	CWE369_Divide_By_Zero__float_fscanf_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_13_good();");
  	CWE369_Divide_By_Zero__float_fscanf_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_14_good();");
  	CWE369_Divide_By_Zero__float_fscanf_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_15_good();");
  	CWE369_Divide_By_Zero__float_fscanf_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_16_good();");
  	CWE369_Divide_By_Zero__float_fscanf_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_17_good();");
  	CWE369_Divide_By_Zero__float_fscanf_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_18_good();");
  	CWE369_Divide_By_Zero__float_fscanf_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_19_good();");
  	CWE369_Divide_By_Zero__float_fscanf_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_31_good();");
  	CWE369_Divide_By_Zero__float_fscanf_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_32_good();");
  	CWE369_Divide_By_Zero__float_fscanf_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_34_good();");
  	CWE369_Divide_By_Zero__float_fscanf_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_41_good();");
  	CWE369_Divide_By_Zero__float_fscanf_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_42_good();");
  	CWE369_Divide_By_Zero__float_fscanf_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_44_good();");
  	CWE369_Divide_By_Zero__float_fscanf_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_45_good();");
  	CWE369_Divide_By_Zero__float_fscanf_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_51_good();");
  	CWE369_Divide_By_Zero__float_fscanf_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_52_good();");
  	CWE369_Divide_By_Zero__float_fscanf_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_53_good();");
  	CWE369_Divide_By_Zero__float_fscanf_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_54_good();");
  	CWE369_Divide_By_Zero__float_fscanf_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_61_good();");
  	CWE369_Divide_By_Zero__float_fscanf_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_63_good();");
  	CWE369_Divide_By_Zero__float_fscanf_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_64_good();");
  	CWE369_Divide_By_Zero__float_fscanf_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_65_good();");
  	CWE369_Divide_By_Zero__float_fscanf_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_66_good();");
  	CWE369_Divide_By_Zero__float_fscanf_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_67_good();");
  	CWE369_Divide_By_Zero__float_fscanf_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_68_good();");
  	CWE369_Divide_By_Zero__float_fscanf_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_01_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_02_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_03_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_04_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_05_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_06_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_07_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_08_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_09_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_10_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_11_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_12_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_13_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_14_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_15_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_16_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_17_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_18_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_19_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_31_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_32_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_34_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_41_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_42_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_44_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_45_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_51_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_52_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_53_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_54_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_61_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_63_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_64_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_65_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_66_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_67_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_68_good();");
  	CWE369_Divide_By_Zero__float_listen_socket_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_01_good();");
  	CWE369_Divide_By_Zero__float_rand_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_02_good();");
  	CWE369_Divide_By_Zero__float_rand_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_03_good();");
  	CWE369_Divide_By_Zero__float_rand_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_04_good();");
  	CWE369_Divide_By_Zero__float_rand_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_05_good();");
  	CWE369_Divide_By_Zero__float_rand_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_06_good();");
  	CWE369_Divide_By_Zero__float_rand_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_07_good();");
  	CWE369_Divide_By_Zero__float_rand_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_08_good();");
  	CWE369_Divide_By_Zero__float_rand_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_09_good();");
  	CWE369_Divide_By_Zero__float_rand_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_10_good();");
  	CWE369_Divide_By_Zero__float_rand_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_11_good();");
  	CWE369_Divide_By_Zero__float_rand_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_12_good();");
  	CWE369_Divide_By_Zero__float_rand_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_13_good();");
  	CWE369_Divide_By_Zero__float_rand_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_14_good();");
  	CWE369_Divide_By_Zero__float_rand_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_15_good();");
  	CWE369_Divide_By_Zero__float_rand_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_16_good();");
  	CWE369_Divide_By_Zero__float_rand_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_17_good();");
  	CWE369_Divide_By_Zero__float_rand_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_18_good();");
  	CWE369_Divide_By_Zero__float_rand_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_19_good();");
  	CWE369_Divide_By_Zero__float_rand_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_31_good();");
  	CWE369_Divide_By_Zero__float_rand_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_32_good();");
  	CWE369_Divide_By_Zero__float_rand_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_34_good();");
  	CWE369_Divide_By_Zero__float_rand_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_41_good();");
  	CWE369_Divide_By_Zero__float_rand_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_42_good();");
  	CWE369_Divide_By_Zero__float_rand_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_44_good();");
  	CWE369_Divide_By_Zero__float_rand_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_45_good();");
  	CWE369_Divide_By_Zero__float_rand_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_51_good();");
  	CWE369_Divide_By_Zero__float_rand_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_52_good();");
  	CWE369_Divide_By_Zero__float_rand_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_53_good();");
  	CWE369_Divide_By_Zero__float_rand_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_54_good();");
  	CWE369_Divide_By_Zero__float_rand_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_61_good();");
  	CWE369_Divide_By_Zero__float_rand_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_63_good();");
  	CWE369_Divide_By_Zero__float_rand_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_64_good();");
  	CWE369_Divide_By_Zero__float_rand_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_65_good();");
  	CWE369_Divide_By_Zero__float_rand_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_66_good();");
  	CWE369_Divide_By_Zero__float_rand_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_67_good();");
  	CWE369_Divide_By_Zero__float_rand_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_68_good();");
  	CWE369_Divide_By_Zero__float_rand_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_01_good();");
  	CWE369_Divide_By_Zero__float_zero_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_02_good();");
  	CWE369_Divide_By_Zero__float_zero_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_03_good();");
  	CWE369_Divide_By_Zero__float_zero_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_04_good();");
  	CWE369_Divide_By_Zero__float_zero_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_05_good();");
  	CWE369_Divide_By_Zero__float_zero_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_06_good();");
  	CWE369_Divide_By_Zero__float_zero_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_07_good();");
  	CWE369_Divide_By_Zero__float_zero_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_08_good();");
  	CWE369_Divide_By_Zero__float_zero_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_09_good();");
  	CWE369_Divide_By_Zero__float_zero_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_10_good();");
  	CWE369_Divide_By_Zero__float_zero_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_11_good();");
  	CWE369_Divide_By_Zero__float_zero_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_12_good();");
  	CWE369_Divide_By_Zero__float_zero_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_13_good();");
  	CWE369_Divide_By_Zero__float_zero_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_14_good();");
  	CWE369_Divide_By_Zero__float_zero_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_15_good();");
  	CWE369_Divide_By_Zero__float_zero_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_16_good();");
  	CWE369_Divide_By_Zero__float_zero_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_17_good();");
  	CWE369_Divide_By_Zero__float_zero_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_18_good();");
  	CWE369_Divide_By_Zero__float_zero_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_19_good();");
  	CWE369_Divide_By_Zero__float_zero_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_31_good();");
  	CWE369_Divide_By_Zero__float_zero_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_32_good();");
  	CWE369_Divide_By_Zero__float_zero_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_34_good();");
  	CWE369_Divide_By_Zero__float_zero_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_41_good();");
  	CWE369_Divide_By_Zero__float_zero_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_42_good();");
  	CWE369_Divide_By_Zero__float_zero_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_44_good();");
  	CWE369_Divide_By_Zero__float_zero_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_45_good();");
  	CWE369_Divide_By_Zero__float_zero_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_51_good();");
  	CWE369_Divide_By_Zero__float_zero_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_52_good();");
  	CWE369_Divide_By_Zero__float_zero_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_53_good();");
  	CWE369_Divide_By_Zero__float_zero_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_54_good();");
  	CWE369_Divide_By_Zero__float_zero_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_61_good();");
  	CWE369_Divide_By_Zero__float_zero_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_63_good();");
  	CWE369_Divide_By_Zero__float_zero_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_64_good();");
  	CWE369_Divide_By_Zero__float_zero_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_65_good();");
  	CWE369_Divide_By_Zero__float_zero_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_66_good();");
  	CWE369_Divide_By_Zero__float_zero_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_67_good();");
  	CWE369_Divide_By_Zero__float_zero_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_68_good();");
  	CWE369_Divide_By_Zero__float_zero_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_01_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_02_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_03_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_04_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_05_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_06_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_07_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_08_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_09_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_10_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_11_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_12_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_13_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_14_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_15_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_16_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_17_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_18_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_19_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_31_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_32_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_34_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_41_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_42_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_44_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_45_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_51_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_52_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_53_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_54_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_61_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_63_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_64_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_65_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_66_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_67_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_68_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_01_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_02_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_03_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_04_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_05_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_06_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_07_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_08_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_09_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_10_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_11_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_12_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_13_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_14_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_15_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_16_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_17_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_18_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_19_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_31_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_32_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_34_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_41_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_42_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_44_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_45_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_51_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_52_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_53_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_54_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_61_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_63_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_64_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_65_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_66_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_67_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_68_good();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_01_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_02_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_03_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_04_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_05_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_06_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_07_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_08_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_09_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_10_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_11_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_12_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_13_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_14_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_15_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_16_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_17_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_18_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_19_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_31_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_32_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_34_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_41_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_42_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_44_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_45_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_51_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_52_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_53_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_54_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_61_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_63_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_64_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_65_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_66_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_67_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_68_good();");
  	CWE369_Divide_By_Zero__int_fgets_divide_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_01_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_02_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_03_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_04_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_05_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_06_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_07_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_08_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_09_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_10_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_11_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_12_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_13_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_14_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_15_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_16_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_17_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_18_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_19_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_31_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_32_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_34_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_41_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_42_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_44_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_45_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_51_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_52_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_53_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_54_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_61_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_63_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_64_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_65_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_66_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_67_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_68_good();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_01_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_02_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_03_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_04_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_05_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_06_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_07_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_08_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_09_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_10_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_11_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_12_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_13_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_14_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_15_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_16_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_17_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_18_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_19_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_31_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_32_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_34_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_41_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_42_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_44_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_45_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_51_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_52_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_53_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_54_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_61_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_63_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_64_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_65_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_66_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_67_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_68_good();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_01_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_02_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_03_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_04_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_05_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_06_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_07_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_08_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_09_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_10_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_11_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_12_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_13_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_14_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_15_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_16_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_17_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_18_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_19_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_31_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_32_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_34_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_41_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_42_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_44_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_45_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_51_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_52_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_53_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_54_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_61_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_63_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_64_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_65_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_66_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_67_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_68_good();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_01_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_02_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_03_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_04_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_05_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_06_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_07_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_08_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_09_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_10_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_11_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_12_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_13_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_14_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_15_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_16_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_17_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_18_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_19_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_31_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_32_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_34_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_41_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_42_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_44_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_45_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_51_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_52_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_53_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_54_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_61_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_63_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_64_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_65_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_66_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_67_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_68_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_01_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_02_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_03_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_04_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_05_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_06_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_07_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_08_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_09_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_10_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_11_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_12_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_13_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_14_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_15_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_16_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_17_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_18_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_19_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_31_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_32_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_34_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_41_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_42_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_44_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_45_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_51_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_52_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_53_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_54_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_61_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_63_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_64_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_65_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_66_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_67_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_68_good();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_01_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_02_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_03_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_04_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_05_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_06_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_07_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_08_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_09_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_10_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_11_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_12_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_13_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_14_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_15_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_16_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_17_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_18_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_19_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_31_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_32_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_34_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_41_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_42_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_44_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_45_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_51_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_52_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_53_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_54_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_61_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_63_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_64_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_65_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_66_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_67_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_68_good();");
  	CWE369_Divide_By_Zero__int_rand_divide_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_01_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_02_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_03_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_04_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_05_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_06_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_07_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_08_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_09_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_10_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_11_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_12_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_13_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_14_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_15_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_16_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_17_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_18_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_19_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_31_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_32_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_34_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_41_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_42_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_44_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_45_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_51_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_52_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_53_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_54_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_61_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_63_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_64_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_65_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_66_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_67_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_68_good();");
  	CWE369_Divide_By_Zero__int_rand_modulo_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_01_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_02_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_03_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_04_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_05_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_06_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_07_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_08_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_09_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_10_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_11_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_12_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_13_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_14_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_15_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_16_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_17_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_18_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_19_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_31_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_32_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_34_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_41_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_42_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_44_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_45_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_51_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_52_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_53_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_54_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_61_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_63_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_64_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_65_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_66_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_67_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_68_good();");
  	CWE369_Divide_By_Zero__int_zero_divide_68_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_01_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_01_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_02_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_02_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_03_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_03_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_04_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_04_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_05_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_05_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_06_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_06_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_07_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_07_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_08_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_08_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_09_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_09_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_10_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_10_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_11_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_11_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_12_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_12_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_13_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_13_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_14_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_14_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_15_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_15_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_16_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_16_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_17_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_17_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_18_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_18_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_19_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_19_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_31_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_31_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_32_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_32_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_34_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_34_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_41_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_41_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_42_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_42_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_44_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_44_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_45_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_45_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_51_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_51_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_52_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_52_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_53_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_53_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_54_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_54_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_61_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_61_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_63_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_63_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_64_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_64_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_65_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_65_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_66_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_66_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_67_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_67_good();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_68_good();");
  	CWE369_Divide_By_Zero__int_zero_modulo_68_good();
  
  	/* END-AUTOGENERATED-C-GOOD-FUNCTION-CALLS */
  
  
  
  
  
  #ifdef __cplusplus
  	/* Calling C++ good functions */
  	/* BEGIN-AUTOGENERATED-CPP-GOOD-FUNCTION-CALLS */
  
  	/* END-AUTOGENERATED-CPP-GOOD-FUNCTION-CALLS */
  
  #endif /* __cplusplus */
  
  #endif /* OMITGOOD */
  
  #ifndef OMITBAD
  
  	/* Calling C bad functions */
  	/* BEGIN-AUTOGENERATED-C-BAD-FUNCTION-CALLS */
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_01_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_02_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_03_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_04_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_05_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_06_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_07_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_08_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_09_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_10_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_11_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_12_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_13_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_14_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_15_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_16_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_17_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_18_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_19_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_31_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_32_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_34_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_41_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_42_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_44_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_45_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_51_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_52_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_53_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_54_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_61_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_63_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_64_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_65_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_66_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_67_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_connect_socket_68_bad();");
  	CWE369_Divide_By_Zero__float_connect_socket_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_01_bad();");
  	CWE369_Divide_By_Zero__float_fgets_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_02_bad();");
  	CWE369_Divide_By_Zero__float_fgets_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_03_bad();");
  	CWE369_Divide_By_Zero__float_fgets_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_04_bad();");
  	CWE369_Divide_By_Zero__float_fgets_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_05_bad();");
  	CWE369_Divide_By_Zero__float_fgets_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_06_bad();");
  	CWE369_Divide_By_Zero__float_fgets_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_07_bad();");
  	CWE369_Divide_By_Zero__float_fgets_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_08_bad();");
  	CWE369_Divide_By_Zero__float_fgets_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_09_bad();");
  	CWE369_Divide_By_Zero__float_fgets_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_10_bad();");
  	CWE369_Divide_By_Zero__float_fgets_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_11_bad();");
  	CWE369_Divide_By_Zero__float_fgets_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_12_bad();");
  	CWE369_Divide_By_Zero__float_fgets_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_13_bad();");
  	CWE369_Divide_By_Zero__float_fgets_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_14_bad();");
  	CWE369_Divide_By_Zero__float_fgets_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_15_bad();");
  	CWE369_Divide_By_Zero__float_fgets_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_16_bad();");
  	CWE369_Divide_By_Zero__float_fgets_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_17_bad();");
  	CWE369_Divide_By_Zero__float_fgets_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_18_bad();");
  	CWE369_Divide_By_Zero__float_fgets_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_19_bad();");
  	CWE369_Divide_By_Zero__float_fgets_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_31_bad();");
  	CWE369_Divide_By_Zero__float_fgets_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_32_bad();");
  	CWE369_Divide_By_Zero__float_fgets_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_34_bad();");
  	CWE369_Divide_By_Zero__float_fgets_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_41_bad();");
  	CWE369_Divide_By_Zero__float_fgets_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_42_bad();");
  	CWE369_Divide_By_Zero__float_fgets_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_44_bad();");
  	CWE369_Divide_By_Zero__float_fgets_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_45_bad();");
  	CWE369_Divide_By_Zero__float_fgets_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_51_bad();");
  	CWE369_Divide_By_Zero__float_fgets_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_52_bad();");
  	CWE369_Divide_By_Zero__float_fgets_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_53_bad();");
  	CWE369_Divide_By_Zero__float_fgets_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_54_bad();");
  	CWE369_Divide_By_Zero__float_fgets_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_61_bad();");
  	CWE369_Divide_By_Zero__float_fgets_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_63_bad();");
  	CWE369_Divide_By_Zero__float_fgets_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_64_bad();");
  	CWE369_Divide_By_Zero__float_fgets_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_65_bad();");
  	CWE369_Divide_By_Zero__float_fgets_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_66_bad();");
  	CWE369_Divide_By_Zero__float_fgets_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_67_bad();");
  	CWE369_Divide_By_Zero__float_fgets_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fgets_68_bad();");
  	CWE369_Divide_By_Zero__float_fgets_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_01_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_02_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_03_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_04_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_05_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_06_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_07_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_08_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_09_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_10_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_11_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_12_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_13_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_14_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_15_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_16_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_17_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_18_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_19_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_31_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_32_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_34_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_41_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_42_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_44_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_45_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_51_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_52_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_53_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_54_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_61_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_63_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_64_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_65_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_66_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_67_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_fscanf_68_bad();");
  	CWE369_Divide_By_Zero__float_fscanf_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_01_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_02_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_03_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_04_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_05_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_06_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_07_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_08_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_09_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_10_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_11_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_12_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_13_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_14_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_15_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_16_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_17_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_18_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_19_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_31_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_32_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_34_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_41_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_42_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_44_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_45_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_51_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_52_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_53_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_54_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_61_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_63_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_64_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_65_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_66_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_67_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_listen_socket_68_bad();");
  	CWE369_Divide_By_Zero__float_listen_socket_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_01_bad();");
  	CWE369_Divide_By_Zero__float_rand_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_02_bad();");
  	CWE369_Divide_By_Zero__float_rand_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_03_bad();");
  	CWE369_Divide_By_Zero__float_rand_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_04_bad();");
  	CWE369_Divide_By_Zero__float_rand_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_05_bad();");
  	CWE369_Divide_By_Zero__float_rand_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_06_bad();");
  	CWE369_Divide_By_Zero__float_rand_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_07_bad();");
  	CWE369_Divide_By_Zero__float_rand_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_08_bad();");
  	CWE369_Divide_By_Zero__float_rand_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_09_bad();");
  	CWE369_Divide_By_Zero__float_rand_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_10_bad();");
  	CWE369_Divide_By_Zero__float_rand_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_11_bad();");
  	CWE369_Divide_By_Zero__float_rand_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_12_bad();");
  	CWE369_Divide_By_Zero__float_rand_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_13_bad();");
  	CWE369_Divide_By_Zero__float_rand_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_14_bad();");
  	CWE369_Divide_By_Zero__float_rand_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_15_bad();");
  	CWE369_Divide_By_Zero__float_rand_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_16_bad();");
  	CWE369_Divide_By_Zero__float_rand_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_17_bad();");
  	CWE369_Divide_By_Zero__float_rand_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_18_bad();");
  	CWE369_Divide_By_Zero__float_rand_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_19_bad();");
  	CWE369_Divide_By_Zero__float_rand_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_31_bad();");
  	CWE369_Divide_By_Zero__float_rand_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_32_bad();");
  	CWE369_Divide_By_Zero__float_rand_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_34_bad();");
  	CWE369_Divide_By_Zero__float_rand_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_41_bad();");
  	CWE369_Divide_By_Zero__float_rand_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_42_bad();");
  	CWE369_Divide_By_Zero__float_rand_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_44_bad();");
  	CWE369_Divide_By_Zero__float_rand_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_45_bad();");
  	CWE369_Divide_By_Zero__float_rand_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_51_bad();");
  	CWE369_Divide_By_Zero__float_rand_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_52_bad();");
  	CWE369_Divide_By_Zero__float_rand_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_53_bad();");
  	CWE369_Divide_By_Zero__float_rand_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_54_bad();");
  	CWE369_Divide_By_Zero__float_rand_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_61_bad();");
  	CWE369_Divide_By_Zero__float_rand_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_63_bad();");
  	CWE369_Divide_By_Zero__float_rand_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_64_bad();");
  	CWE369_Divide_By_Zero__float_rand_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_65_bad();");
  	CWE369_Divide_By_Zero__float_rand_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_66_bad();");
  	CWE369_Divide_By_Zero__float_rand_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_67_bad();");
  	CWE369_Divide_By_Zero__float_rand_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_rand_68_bad();");
  	CWE369_Divide_By_Zero__float_rand_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_01_bad();");
  	CWE369_Divide_By_Zero__float_zero_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_02_bad();");
  	CWE369_Divide_By_Zero__float_zero_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_03_bad();");
  	CWE369_Divide_By_Zero__float_zero_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_04_bad();");
  	CWE369_Divide_By_Zero__float_zero_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_05_bad();");
  	CWE369_Divide_By_Zero__float_zero_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_06_bad();");
  	CWE369_Divide_By_Zero__float_zero_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_07_bad();");
  	CWE369_Divide_By_Zero__float_zero_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_08_bad();");
  	CWE369_Divide_By_Zero__float_zero_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_09_bad();");
  	CWE369_Divide_By_Zero__float_zero_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_10_bad();");
  	CWE369_Divide_By_Zero__float_zero_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_11_bad();");
  	CWE369_Divide_By_Zero__float_zero_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_12_bad();");
  	CWE369_Divide_By_Zero__float_zero_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_13_bad();");
  	CWE369_Divide_By_Zero__float_zero_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_14_bad();");
  	CWE369_Divide_By_Zero__float_zero_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_15_bad();");
  	CWE369_Divide_By_Zero__float_zero_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_16_bad();");
  	CWE369_Divide_By_Zero__float_zero_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_17_bad();");
  	CWE369_Divide_By_Zero__float_zero_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_18_bad();");
  	CWE369_Divide_By_Zero__float_zero_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_19_bad();");
  	CWE369_Divide_By_Zero__float_zero_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_31_bad();");
  	CWE369_Divide_By_Zero__float_zero_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_32_bad();");
  	CWE369_Divide_By_Zero__float_zero_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_34_bad();");
  	CWE369_Divide_By_Zero__float_zero_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_41_bad();");
  	CWE369_Divide_By_Zero__float_zero_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_42_bad();");
  	CWE369_Divide_By_Zero__float_zero_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_44_bad();");
  	CWE369_Divide_By_Zero__float_zero_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_45_bad();");
  	CWE369_Divide_By_Zero__float_zero_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_51_bad();");
  	CWE369_Divide_By_Zero__float_zero_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_52_bad();");
  	CWE369_Divide_By_Zero__float_zero_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_53_bad();");
  	CWE369_Divide_By_Zero__float_zero_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_54_bad();");
  	CWE369_Divide_By_Zero__float_zero_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_61_bad();");
  	CWE369_Divide_By_Zero__float_zero_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_63_bad();");
  	CWE369_Divide_By_Zero__float_zero_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_64_bad();");
  	CWE369_Divide_By_Zero__float_zero_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_65_bad();");
  	CWE369_Divide_By_Zero__float_zero_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_66_bad();");
  	CWE369_Divide_By_Zero__float_zero_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_67_bad();");
  	CWE369_Divide_By_Zero__float_zero_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__float_zero_68_bad();");
  	CWE369_Divide_By_Zero__float_zero_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_01_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_02_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_03_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_04_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_05_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_06_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_07_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_08_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_09_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_10_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_11_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_12_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_13_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_14_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_15_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_16_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_17_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_18_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_19_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_31_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_32_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_34_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_41_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_42_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_44_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_45_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_51_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_52_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_53_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_54_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_61_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_63_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_64_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_65_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_66_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_67_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_divide_68_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_divide_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_01_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_02_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_03_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_04_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_05_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_06_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_07_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_08_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_09_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_10_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_11_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_12_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_13_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_14_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_15_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_16_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_17_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_18_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_19_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_31_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_32_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_34_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_41_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_42_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_44_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_45_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_51_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_52_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_53_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_54_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_61_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_63_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_64_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_65_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_66_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_67_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_connect_socket_modulo_68_bad();");
  	CWE369_Divide_By_Zero__int_connect_socket_modulo_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_01_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_02_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_03_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_04_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_05_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_06_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_07_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_08_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_09_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_10_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_11_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_12_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_13_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_14_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_15_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_16_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_17_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_18_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_19_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_31_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_32_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_34_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_41_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_42_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_44_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_45_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_51_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_52_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_53_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_54_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_61_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_63_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_64_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_65_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_66_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_67_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_divide_68_bad();");
  	CWE369_Divide_By_Zero__int_fgets_divide_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_01_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_02_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_03_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_04_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_05_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_06_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_07_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_08_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_09_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_10_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_11_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_12_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_13_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_14_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_15_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_16_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_17_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_18_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_19_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_31_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_32_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_34_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_41_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_42_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_44_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_45_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_51_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_52_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_53_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_54_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_61_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_63_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_64_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_65_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_66_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_67_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fgets_modulo_68_bad();");
  	CWE369_Divide_By_Zero__int_fgets_modulo_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_01_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_02_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_03_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_04_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_05_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_06_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_07_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_08_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_09_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_10_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_11_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_12_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_13_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_14_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_15_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_16_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_17_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_18_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_19_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_31_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_32_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_34_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_41_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_42_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_44_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_45_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_51_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_52_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_53_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_54_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_61_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_63_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_64_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_65_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_66_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_67_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_divide_68_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_divide_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_01_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_02_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_03_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_04_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_05_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_06_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_07_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_08_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_09_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_10_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_11_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_12_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_13_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_14_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_15_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_16_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_17_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_18_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_19_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_31_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_32_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_34_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_41_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_42_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_44_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_45_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_51_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_52_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_53_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_54_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_61_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_63_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_64_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_65_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_66_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_67_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_fscanf_modulo_68_bad();");
  	CWE369_Divide_By_Zero__int_fscanf_modulo_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_01_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_02_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_03_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_04_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_05_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_06_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_07_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_08_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_09_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_10_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_11_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_12_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_13_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_14_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_15_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_16_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_17_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_18_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_19_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_31_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_32_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_34_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_41_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_42_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_44_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_45_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_51_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_52_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_53_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_54_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_61_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_63_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_64_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_65_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_66_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_67_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_divide_68_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_divide_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_01_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_02_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_03_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_04_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_05_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_06_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_07_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_08_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_09_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_10_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_11_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_12_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_13_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_14_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_15_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_16_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_17_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_18_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_19_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_31_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_32_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_34_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_41_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_42_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_44_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_45_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_51_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_52_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_53_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_54_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_61_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_63_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_64_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_65_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_66_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_67_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_listen_socket_modulo_68_bad();");
  	CWE369_Divide_By_Zero__int_listen_socket_modulo_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_01_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_02_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_03_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_04_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_05_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_06_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_07_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_08_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_09_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_10_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_11_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_12_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_13_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_14_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_15_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_16_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_17_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_18_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_19_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_31_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_32_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_34_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_41_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_42_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_44_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_45_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_51_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_52_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_53_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_54_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_61_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_63_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_64_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_65_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_66_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_67_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_divide_68_bad();");
  	CWE369_Divide_By_Zero__int_rand_divide_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_01_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_02_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_03_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_04_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_05_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_06_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_07_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_08_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_09_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_10_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_11_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_12_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_13_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_14_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_15_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_16_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_17_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_18_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_19_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_31_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_32_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_34_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_41_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_42_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_44_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_45_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_51_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_52_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_53_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_54_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_61_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_63_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_64_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_65_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_66_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_67_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_rand_modulo_68_bad();");
  	CWE369_Divide_By_Zero__int_rand_modulo_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_01_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_02_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_03_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_04_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_05_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_06_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_07_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_08_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_09_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_10_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_11_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_12_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_13_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_14_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_15_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_16_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_17_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_18_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_19_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_31_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_32_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_34_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_41_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_42_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_44_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_45_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_51_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_52_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_53_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_54_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_61_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_63_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_64_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_65_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_66_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_67_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_divide_68_bad();");
  	CWE369_Divide_By_Zero__int_zero_divide_68_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_01_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_01_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_02_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_02_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_03_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_03_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_04_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_04_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_05_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_05_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_06_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_06_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_07_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_07_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_08_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_08_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_09_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_09_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_10_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_10_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_11_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_11_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_12_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_12_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_13_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_13_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_14_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_14_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_15_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_15_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_16_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_16_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_17_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_17_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_18_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_18_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_19_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_19_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_31_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_31_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_32_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_32_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_34_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_34_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_41_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_41_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_42_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_42_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_44_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_44_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_45_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_45_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_51_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_51_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_52_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_52_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_53_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_53_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_54_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_54_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_61_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_61_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_63_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_63_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_64_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_64_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_65_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_65_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_66_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_66_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_67_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_67_bad();
  
  	printLine("Calling CWE369_Divide_By_Zero__int_zero_modulo_68_bad();");
  	CWE369_Divide_By_Zero__int_zero_modulo_68_bad();
  
  	/* END-AUTOGENERATED-C-BAD-FUNCTION-CALLS */
  
  
  
  
  	
  #ifdef __cplusplus
  	/* Calling C++ bad functions */
  	/* BEGIN-AUTOGENERATED-CPP-BAD-FUNCTION-CALLS */
  
  	/* END-AUTOGENERATED-CPP-BAD-FUNCTION-CALLS */
  	
  #endif /* __cplusplus */
  
  #endif /* OMITBAD */
  
  	return 0;
  
  } 
  