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 CWE321_Hard_Coded_Cryptographic_Key__w32_char_01_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_01_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_02_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_02_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_03_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_03_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_04_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_04_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_05_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_05_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_06_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_06_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_07_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_07_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_08_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_08_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_09_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_09_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_10_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_10_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_11_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_11_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_12_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_12_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_13_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_13_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_14_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_14_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_15_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_15_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_16_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_16_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_17_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_17_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_18_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_18_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_19_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_19_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_31_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_31_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_32_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_32_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_34_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_34_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_41_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_41_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_42_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_42_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_44_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_44_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_45_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_45_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_51_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_51_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_52_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_52_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_53_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_53_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_54_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_54_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_61_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_61_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_63_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_63_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_64_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_64_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_65_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_65_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_66_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_66_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_67_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_67_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_68_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_68_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_01_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_01_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_02_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_02_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_03_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_03_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_04_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_04_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_05_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_05_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_06_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_06_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_07_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_07_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_08_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_08_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_09_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_09_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_10_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_10_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_11_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_11_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_12_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_12_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_13_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_13_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_14_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_14_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_15_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_15_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_16_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_16_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_17_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_17_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_18_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_18_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_19_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_19_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_31_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_31_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_32_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_32_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_34_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_34_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_41_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_41_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_42_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_42_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_44_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_44_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_45_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_45_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_51_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_51_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_52_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_52_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_53_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_53_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_54_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_54_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_61_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_61_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_63_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_63_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_64_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_64_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_65_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_65_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_66_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_66_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_67_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_67_good();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_68_good();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_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 CWE321_Hard_Coded_Cryptographic_Key__w32_char_01_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_01_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_02_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_02_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_03_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_03_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_04_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_04_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_05_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_05_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_06_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_06_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_07_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_07_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_08_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_08_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_09_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_09_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_10_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_10_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_11_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_11_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_12_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_12_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_13_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_13_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_14_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_14_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_15_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_15_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_16_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_16_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_17_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_17_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_18_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_18_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_19_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_19_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_31_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_31_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_32_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_32_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_34_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_34_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_41_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_41_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_42_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_42_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_44_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_44_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_45_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_45_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_51_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_51_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_52_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_52_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_53_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_53_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_54_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_54_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_61_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_61_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_63_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_63_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_64_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_64_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_65_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_65_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_66_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_66_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_67_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_67_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_char_68_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_char_68_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_01_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_01_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_02_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_02_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_03_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_03_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_04_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_04_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_05_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_05_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_06_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_06_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_07_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_07_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_08_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_08_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_09_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_09_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_10_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_10_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_11_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_11_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_12_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_12_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_13_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_13_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_14_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_14_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_15_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_15_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_16_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_16_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_17_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_17_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_18_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_18_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_19_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_19_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_31_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_31_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_32_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_32_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_34_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_34_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_41_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_41_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_42_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_42_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_44_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_44_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_45_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_45_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_51_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_51_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_52_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_52_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_53_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_53_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_54_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_54_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_61_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_61_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_63_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_63_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_64_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_64_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_65_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_65_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_66_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_66_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_67_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_67_bad();
  
  	printLine("Calling CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_68_bad();");
  	CWE321_Hard_Coded_Cryptographic_Key__w32_wchar_t_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;
  
  } 
  