/* NOTE - eventually this file will be automatically updated using a Perl script that understand
 * the naming of test case files, functions, and namespaces.
 */

#include <time.h>   /* for time() */
#include <stdlib.h> /* for srand() */

#include "std_testcase.h"
#include "testcases.h"

int main(int argc, char * argv[]) {

	/* seed randomness */

	srand( (unsigned)time(NULL) );

	globalArgc = argc;
	globalArgv = argv;

#ifndef OMITGOOD

	/* Calling C good functions */
	/* BEGIN-AUTOGENERATED-C-GOOD-FUNCTION-CALLS */
	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_66_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_66_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_64_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_64_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_03_good();");
	CWE191_Integer_Underflow__char_min_sub_03_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_67_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_67_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_06_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_06_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_01_good();");
	CWE191_Integer_Underflow__char_min_multiply_01_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_05_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_05_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_31_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_31_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_02_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_02_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_01_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_01_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_17_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_17_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_07_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_07_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_01_good();");
	CWE191_Integer_Underflow__char_rand_sub_01_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_66_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_66_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_54_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_54_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_54_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_54_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_41_good();");
	CWE191_Integer_Underflow__char_min_multiply_41_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_22_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_22_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_07_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_07_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_31_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_31_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_11_good();");
	CWE191_Integer_Underflow__char_min_sub_11_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_66_good();");
	CWE191_Integer_Underflow__char_rand_sub_66_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_53_good();");
	CWE191_Integer_Underflow__char_min_sub_53_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_52_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_52_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_54_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_54_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_32_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_32_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_02_good();");
	CWE191_Integer_Underflow__char_rand_multiply_02_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_31_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_31_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_09_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_09_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_18_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_18_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_05_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_05_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_15_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_15_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_64_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_64_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_13_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_13_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_11_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_11_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_31_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_31_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_52_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_52_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_65_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_65_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_21_good();");
	CWE191_Integer_Underflow__char_min_multiply_21_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_31_good();");
	CWE191_Integer_Underflow__char_min_multiply_31_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_22_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_22_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_17_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_17_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_64_good();");
	CWE191_Integer_Underflow__char_min_sub_64_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_07_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_07_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_12_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_12_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_15_good();");
	CWE191_Integer_Underflow__char_min_sub_15_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_03_good();");
	CWE191_Integer_Underflow__char_min_multiply_03_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_05_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_05_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_51_good();");
	CWE191_Integer_Underflow__char_rand_multiply_51_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_06_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_06_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_44_good();");
	CWE191_Integer_Underflow__char_rand_sub_44_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_34_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_34_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_34_good();");
	CWE191_Integer_Underflow__char_rand_multiply_34_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_61_good();");
	CWE191_Integer_Underflow__char_rand_sub_61_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_14_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_14_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_22_good();");
	CWE191_Integer_Underflow__char_rand_multiply_22_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_11_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_11_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_21_good();");
	CWE191_Integer_Underflow__char_min_sub_21_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_09_good();");
	CWE191_Integer_Underflow__char_rand_sub_09_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_06_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_06_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_63_good();");
	CWE191_Integer_Underflow__char_rand_sub_63_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_63_good();");
	CWE191_Integer_Underflow__char_rand_multiply_63_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_63_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_63_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_17_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_17_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_16_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_16_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_01_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_01_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_18_good();");
	CWE191_Integer_Underflow__char_rand_sub_18_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_01_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_01_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_45_good();");
	CWE191_Integer_Underflow__char_min_multiply_45_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_13_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_13_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_17_good();");
	CWE191_Integer_Underflow__char_min_multiply_17_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_52_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_52_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_32_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_32_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_10_good();");
	CWE191_Integer_Underflow__char_min_sub_10_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_21_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_21_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_68_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_68_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_16_good();");
	CWE191_Integer_Underflow__char_min_multiply_16_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_65_good();");
	CWE191_Integer_Underflow__char_min_multiply_65_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_61_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_61_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_15_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_15_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_09_good();");
	CWE191_Integer_Underflow__char_min_multiply_09_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_44_good();");
	CWE191_Integer_Underflow__char_min_sub_44_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_16_good();");
	CWE191_Integer_Underflow__char_rand_sub_16_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_07_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_07_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_65_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_65_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_11_good();");
	CWE191_Integer_Underflow__char_min_multiply_11_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_17_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_17_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_53_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_53_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_42_good();");
	CWE191_Integer_Underflow__char_min_sub_42_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_10_good();");
	CWE191_Integer_Underflow__char_min_multiply_10_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_31_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_31_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_16_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_16_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_67_good();");
	CWE191_Integer_Underflow__char_rand_multiply_67_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_41_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_41_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_67_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_67_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_41_good();");
	CWE191_Integer_Underflow__char_rand_sub_41_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_31_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_31_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_02_good();");
	CWE191_Integer_Underflow__char_min_sub_02_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_65_good();");
	CWE191_Integer_Underflow__char_rand_multiply_65_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_11_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_11_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_14_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_14_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_61_good();");
	CWE191_Integer_Underflow__char_min_multiply_61_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_07_good();");
	CWE191_Integer_Underflow__char_min_multiply_07_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_13_good();");
	CWE191_Integer_Underflow__char_rand_multiply_13_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_01_good();");
	CWE191_Integer_Underflow__char_rand_multiply_01_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_66_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_66_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_42_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_42_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_11_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_11_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_06_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_06_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_42_good();");
	CWE191_Integer_Underflow__char_rand_multiply_42_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_03_good();");
	CWE191_Integer_Underflow__char_rand_multiply_03_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_51_good();");
	CWE191_Integer_Underflow__char_rand_sub_51_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_13_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_13_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_68_good();");
	CWE191_Integer_Underflow__char_rand_multiply_68_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_67_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_67_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_18_good();");
	CWE191_Integer_Underflow__char_min_sub_18_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_51_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_51_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_16_good();");
	CWE191_Integer_Underflow__char_rand_multiply_16_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_08_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_08_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_61_good();");
	CWE191_Integer_Underflow__char_rand_multiply_61_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_10_good();");
	CWE191_Integer_Underflow__char_rand_multiply_10_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_05_good();");
	CWE191_Integer_Underflow__char_min_multiply_05_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_34_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_34_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_42_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_42_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_21_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_21_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_01_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_01_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_65_good();");
	CWE191_Integer_Underflow__char_rand_sub_65_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_21_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_21_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_10_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_10_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_21_good();");
	CWE191_Integer_Underflow__char_rand_multiply_21_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_14_good();");
	CWE191_Integer_Underflow__char_min_sub_14_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_41_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_41_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_52_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_52_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_22_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_22_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_12_good();");
	CWE191_Integer_Underflow__char_rand_sub_12_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_41_good();");
	CWE191_Integer_Underflow__char_rand_multiply_41_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_07_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_07_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_10_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_10_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_03_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_03_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_63_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_63_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_68_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_68_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_09_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_09_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_07_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_07_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_68_good();");
	CWE191_Integer_Underflow__char_rand_sub_68_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_18_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_18_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_10_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_10_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_09_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_09_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_66_good();");
	CWE191_Integer_Underflow__char_min_sub_66_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_68_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_68_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_17_good();");
	CWE191_Integer_Underflow__char_min_sub_17_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_04_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_04_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_66_good();");
	CWE191_Integer_Underflow__char_min_multiply_66_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_61_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_61_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_52_good();");
	CWE191_Integer_Underflow__char_min_multiply_52_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_52_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_52_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_32_good();");
	CWE191_Integer_Underflow__char_min_multiply_32_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_61_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_61_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_66_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_66_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_21_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_21_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_63_good();");
	CWE191_Integer_Underflow__char_min_sub_63_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_12_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_12_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_08_good();");
	CWE191_Integer_Underflow__char_min_sub_08_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_21_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_21_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_51_good();");
	CWE191_Integer_Underflow__char_min_sub_51_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_45_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_45_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_41_good();");
	CWE191_Integer_Underflow__char_min_sub_41_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_31_good();");
	CWE191_Integer_Underflow__char_rand_multiply_31_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_18_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_18_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_65_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_65_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_09_good();");
	CWE191_Integer_Underflow__char_min_sub_09_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_54_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_54_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_11_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_11_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_68_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_68_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_10_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_10_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_41_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_41_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_09_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_09_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_16_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_16_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_51_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_51_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_12_good();");
	CWE191_Integer_Underflow__char_rand_multiply_12_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_12_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_12_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_52_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_52_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_67_good();");
	CWE191_Integer_Underflow__char_min_multiply_67_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_66_good();");
	CWE191_Integer_Underflow__char_rand_multiply_66_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_17_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_17_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_08_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_08_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_13_good();");
	CWE191_Integer_Underflow__char_min_multiply_13_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_51_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_51_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_42_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_42_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_42_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_42_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_45_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_45_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_44_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_44_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_42_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_42_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_52_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_52_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_52_good();");
	CWE191_Integer_Underflow__char_rand_sub_52_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_12_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_12_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_17_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_17_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_07_good();");
	CWE191_Integer_Underflow__char_rand_sub_07_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_53_good();");
	CWE191_Integer_Underflow__char_min_multiply_53_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_16_good();");
	CWE191_Integer_Underflow__char_min_sub_16_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_08_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_08_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_02_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_02_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_16_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_16_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_08_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_08_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_22_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_22_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_32_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_32_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_45_good();");
	CWE191_Integer_Underflow__char_rand_multiply_45_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_06_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_06_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_01_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_01_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_68_good();");
	CWE191_Integer_Underflow__char_min_sub_68_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_65_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_65_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_04_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_04_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_14_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_14_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_18_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_18_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_17_good();");
	CWE191_Integer_Underflow__char_rand_multiply_17_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_02_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_02_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_04_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_04_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_66_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_66_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_32_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_32_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_04_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_04_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_18_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_18_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_54_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_54_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_06_good();");
	CWE191_Integer_Underflow__char_rand_multiply_06_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_21_good();");
	CWE191_Integer_Underflow__char_rand_sub_21_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_14_good();");
	CWE191_Integer_Underflow__char_min_multiply_14_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_53_good();");
	CWE191_Integer_Underflow__char_rand_multiply_53_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_13_good();");
	CWE191_Integer_Underflow__char_rand_sub_13_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_67_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_67_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_13_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_13_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_03_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_03_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_21_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_21_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_12_good();");
	CWE191_Integer_Underflow__char_min_multiply_12_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_67_good();");
	CWE191_Integer_Underflow__char_min_sub_67_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_63_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_63_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_41_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_41_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_61_good();");
	CWE191_Integer_Underflow__char_min_sub_61_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_16_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_16_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_31_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_31_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_14_good();");
	CWE191_Integer_Underflow__char_rand_multiply_14_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_07_good();");
	CWE191_Integer_Underflow__char_min_sub_07_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_15_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_15_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_11_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_11_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_41_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_41_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_17_good();");
	CWE191_Integer_Underflow__char_rand_sub_17_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_22_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_22_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_67_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_67_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_64_good();");
	CWE191_Integer_Underflow__char_min_multiply_64_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_44_good();");
	CWE191_Integer_Underflow__char_rand_multiply_44_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_04_good();");
	CWE191_Integer_Underflow__char_rand_sub_04_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_53_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_53_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_34_good();");
	CWE191_Integer_Underflow__char_rand_sub_34_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_53_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_53_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_01_good();");
	CWE191_Integer_Underflow__char_min_sub_01_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_04_good();");
	CWE191_Integer_Underflow__char_min_sub_04_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_44_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_44_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_03_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_03_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_05_good();");
	CWE191_Integer_Underflow__char_rand_sub_05_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_51_good();");
	CWE191_Integer_Underflow__char_min_multiply_51_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_15_good();");
	CWE191_Integer_Underflow__char_rand_sub_15_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_64_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_64_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_64_good();");
	CWE191_Integer_Underflow__char_rand_multiply_64_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_18_good();");
	CWE191_Integer_Underflow__char_rand_multiply_18_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_53_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_53_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_64_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_64_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_08_good();");
	CWE191_Integer_Underflow__char_rand_sub_08_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_18_good();");
	CWE191_Integer_Underflow__char_min_multiply_18_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_08_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_08_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_22_good();");
	CWE191_Integer_Underflow__char_min_multiply_22_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_05_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_05_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_44_good();");
	CWE191_Integer_Underflow__char_min_multiply_44_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_66_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_66_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_66_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_66_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_54_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_54_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_09_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_09_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_22_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_22_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_53_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_53_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_14_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_14_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_02_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_02_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_03_good();");
	CWE191_Integer_Underflow__char_rand_sub_03_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_13_good();");
	CWE191_Integer_Underflow__char_min_sub_13_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_34_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_34_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_02_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_02_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_03_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_03_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_16_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_16_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_34_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_34_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_06_good();");
	CWE191_Integer_Underflow__char_min_multiply_06_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_67_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_67_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_68_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_68_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_54_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_54_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_08_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_08_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_64_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_64_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_45_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_45_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_64_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_64_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_12_good();");
	CWE191_Integer_Underflow__char_min_sub_12_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_44_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_44_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_14_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_14_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_04_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_04_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_16_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_16_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_32_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_32_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_02_good();");
	CWE191_Integer_Underflow__char_min_multiply_02_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_32_good();");
	CWE191_Integer_Underflow__char_rand_sub_32_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_44_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_44_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_52_good();");
	CWE191_Integer_Underflow__char_rand_multiply_52_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_68_good();");
	CWE191_Integer_Underflow__char_min_multiply_68_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_61_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_61_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_15_good();");
	CWE191_Integer_Underflow__char_min_multiply_15_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_68_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_68_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_04_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_04_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_54_good();");
	CWE191_Integer_Underflow__char_min_sub_54_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_68_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_68_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_34_good();");
	CWE191_Integer_Underflow__char_min_multiply_34_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_03_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_03_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_05_good();");
	CWE191_Integer_Underflow__char_min_sub_05_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_54_good();");
	CWE191_Integer_Underflow__char_min_multiply_54_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_34_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_34_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_44_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_44_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_07_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_07_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_02_good();");
	CWE191_Integer_Underflow__char_rand_sub_02_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_31_good();");
	CWE191_Integer_Underflow__char_rand_sub_31_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_22_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_22_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_51_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_51_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_09_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_09_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_42_good();");
	CWE191_Integer_Underflow__char_min_multiply_42_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_34_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_34_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_41_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_41_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_31_good();");
	CWE191_Integer_Underflow__char_min_sub_31_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_21_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_21_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_53_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_53_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_61_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_61_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_07_good();");
	CWE191_Integer_Underflow__char_rand_multiply_07_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_51_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_51_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_12_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_12_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_06_good();");
	CWE191_Integer_Underflow__char_min_sub_06_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_05_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_05_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_06_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_06_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_34_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_34_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_32_good();");
	CWE191_Integer_Underflow__char_rand_multiply_32_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_53_good();");
	CWE191_Integer_Underflow__char_rand_sub_53_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_42_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_42_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_32_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_32_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_04_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_04_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_14_good();");
	CWE191_Integer_Underflow__char_rand_sub_14_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_67_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_67_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_45_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_45_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_64_good();");
	CWE191_Integer_Underflow__char_rand_sub_64_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_63_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_63_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_08_good();");
	CWE191_Integer_Underflow__char_min_multiply_08_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_65_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_65_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_18_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_18_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_45_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_45_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_03_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_03_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_05_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_05_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_01_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_01_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_61_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_61_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_22_good();");
	CWE191_Integer_Underflow__char_min_sub_22_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_13_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_13_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_05_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_05_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_09_good();");
	CWE191_Integer_Underflow__char_rand_multiply_09_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_04_good();");
	CWE191_Integer_Underflow__char_min_multiply_04_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_67_good();");
	CWE191_Integer_Underflow__char_rand_sub_67_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_18_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_18_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_02_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_02_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_06_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_06_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_11_good();");
	CWE191_Integer_Underflow__char_rand_sub_11_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_15_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_15_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_10_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_10_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_51_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_51_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_65_good();");
	CWE191_Integer_Underflow__char_min_sub_65_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_64_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_64_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_22_good();");
	CWE191_Integer_Underflow__char_rand_sub_22_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_15_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_15_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_15_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_15_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_10_good();");
	CWE191_Integer_Underflow__char_rand_sub_10_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_12_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_12_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_44_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_44_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_15_good();");
	CWE191_Integer_Underflow__char_rand_multiply_15_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_41_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_41_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_52_good();");
	CWE191_Integer_Underflow__char_min_sub_52_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_42_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_42_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_34_good();");
	CWE191_Integer_Underflow__char_min_sub_34_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_06_good();");
	CWE191_Integer_Underflow__char_rand_sub_06_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_08_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_08_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_02_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_02_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_10_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_10_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_65_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_65_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_54_good();");
	CWE191_Integer_Underflow__char_rand_multiply_54_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_17_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_17_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_61_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_61_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_32_good();");
	CWE191_Integer_Underflow__char_min_sub_32_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_63_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_63_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_10_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_10_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_15_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_15_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_12_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_12_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_63_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_63_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_14_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_14_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_42_good();");
	CWE191_Integer_Underflow__char_rand_sub_42_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_11_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_11_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_65_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_65_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_45_good();");
	CWE191_Integer_Underflow__char_min_sub_45_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_45_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_45_good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_63_good();");
	CWE191_Integer_Underflow__char_min_multiply_63_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_05_good();");
	CWE191_Integer_Underflow__char_rand_multiply_05_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_01_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_01_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_51_good();");
	CWE191_Integer_Underflow__int64_t_min_sub_51_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_63_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_63_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_45_good();");
	CWE191_Integer_Underflow__char_rand_sub_45_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_08_good();");
	CWE191_Integer_Underflow__char_rand_multiply_08_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_32_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_32_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_54_good();");
	CWE191_Integer_Underflow__char_rand_sub_54_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_09_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_09_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_13_good();");
	CWE191_Integer_Underflow__char_fscanf_sub_13_good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_13_good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_13_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_53_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_53_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_44_good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_44_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_14_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_14_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_11_good();");
	CWE191_Integer_Underflow__char_rand_multiply_11_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_45_good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_45_good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_03_good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_03_good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_04_good();");
	CWE191_Integer_Underflow__char_rand_multiply_04_good();

	/* END-AUTOGENERATED-C-GOOD-FUNCTION-CALLS */





#ifdef __cplusplus
	/* Calling C++ good functions */
	/* BEGIN-AUTOGENERATED-CPP-GOOD-FUNCTION-CALLS */
	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_83::good();");
	CWE191_Integer_Underflow__char_fscanf_sub_83::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_62::good();");
	CWE191_Integer_Underflow__char_min_sub_62::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_82::good();");
	CWE191_Integer_Underflow__int64_t_min_sub_82::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_84::good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_84::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_74::good();");
	CWE191_Integer_Underflow__char_fscanf_sub_74::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_81::good();");
	CWE191_Integer_Underflow__char_fscanf_sub_81::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_33::good();");
	CWE191_Integer_Underflow__char_min_sub_33::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_84::good();");
	CWE191_Integer_Underflow__int64_t_min_sub_84::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_84::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_84::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_84::good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_84::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_43::good();");
	CWE191_Integer_Underflow__char_rand_multiply_43::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_72::good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_72::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_84::good();");
	CWE191_Integer_Underflow__char_min_sub_84::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_82::good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_82::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_72::good();");
	CWE191_Integer_Underflow__char_fscanf_sub_72::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_84::good();");
	CWE191_Integer_Underflow__char_rand_multiply_84::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_72::good();");
	CWE191_Integer_Underflow__char_min_sub_72::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_43::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_43::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_82::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_82::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_84::good();");
	CWE191_Integer_Underflow__char_rand_multiply_84::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_81::good();");
	CWE191_Integer_Underflow__int64_t_min_sub_81::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_73::good();");
	CWE191_Integer_Underflow__char_min_sub_73::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_43::good();");
	CWE191_Integer_Underflow__int64_t_min_sub_43::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_83::good();");
	CWE191_Integer_Underflow__char_rand_multiply_83::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_84::good();");
	CWE191_Integer_Underflow__char_min_sub_84::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_33::good();");
	CWE191_Integer_Underflow__char_min_multiply_33::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_33::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_33::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_82::good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_82::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_72::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_72::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_83::good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_83::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_81::good();");
	CWE191_Integer_Underflow__char_min_sub_81::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_62::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_62::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_33::good();");
	CWE191_Integer_Underflow__char_rand_sub_33::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_82::good();");
	CWE191_Integer_Underflow__char_rand_multiply_82::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_62::good();");
	CWE191_Integer_Underflow__int64_t_min_sub_62::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_83::good();");
	CWE191_Integer_Underflow__char_rand_sub_83::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_83::good();");
	CWE191_Integer_Underflow__char_min_multiply_83::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_74::good();");
	CWE191_Integer_Underflow__char_rand_multiply_74::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_83::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_83::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_33::good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_33::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_84::good();");
	CWE191_Integer_Underflow__char_rand_sub_84::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_81::good();");
	CWE191_Integer_Underflow__char_min_multiply_81::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_84::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_84::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_33::good();");
	CWE191_Integer_Underflow__char_fscanf_sub_33::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_73::good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_73::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_83::good();");
	CWE191_Integer_Underflow__char_rand_multiply_83::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_74::good();");
	CWE191_Integer_Underflow__char_min_sub_74::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_82::good();");
	CWE191_Integer_Underflow__char_rand_sub_82::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_81::good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_81::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_62::good();");
	CWE191_Integer_Underflow__char_rand_sub_62::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_73::good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_73::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_72::good();");
	CWE191_Integer_Underflow__int64_t_min_sub_72::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_73::good();");
	CWE191_Integer_Underflow__char_rand_sub_73::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_83::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_83::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_62::good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_62::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_81::good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_81::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_43::good();");
	CWE191_Integer_Underflow__char_min_sub_43::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_74::good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_74::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_73::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_73::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_84::good();");
	CWE191_Integer_Underflow__char_min_multiply_84::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_74::good();");
	CWE191_Integer_Underflow__char_rand_sub_74::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_83::good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_83::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_81::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_81::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_33::good();");
	CWE191_Integer_Underflow__char_rand_multiply_33::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_72::good();");
	CWE191_Integer_Underflow__char_min_multiply_72::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_82::good();");
	CWE191_Integer_Underflow__char_min_sub_82::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_33::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_33::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_84::good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_84::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_73::good();");
	CWE191_Integer_Underflow__int64_t_min_sub_73::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_33::good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_33::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_62::good();");
	CWE191_Integer_Underflow__char_min_multiply_62::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_84::good();");
	CWE191_Integer_Underflow__char_fscanf_sub_84::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_73::good();");
	CWE191_Integer_Underflow__char_min_multiply_73::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_72::good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_72::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_33::good();");
	CWE191_Integer_Underflow__int64_t_min_sub_33::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_62::good();");
	CWE191_Integer_Underflow__char_fscanf_sub_62::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_43::good();");
	CWE191_Integer_Underflow__char_min_multiply_43::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_74::good();");
	CWE191_Integer_Underflow__int64_t_min_sub_74::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_83::good();");
	CWE191_Integer_Underflow__int64_t_min_sub_83::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_43::good();");
	CWE191_Integer_Underflow__char_rand_sub_43::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_72::good();");
	CWE191_Integer_Underflow__char_rand_sub_72::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_72::good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_72::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_83::good();");
	CWE191_Integer_Underflow__char_rand_sub_83::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_81::good();");
	CWE191_Integer_Underflow__char_rand_sub_81::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_84::good();");
	CWE191_Integer_Underflow__char_rand_sub_84::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_82::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_82::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_73::good();");
	CWE191_Integer_Underflow__char_rand_multiply_73::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_83::good();");
	CWE191_Integer_Underflow__char_fscanf_sub_83::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_62::good();");
	CWE191_Integer_Underflow__char_rand_multiply_62::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_81::good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_81::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_74::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_74::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_43::good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_43::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_84::good();");
	CWE191_Integer_Underflow__char_fscanf_sub_84::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_84::good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_84::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_82::good();");
	CWE191_Integer_Underflow__char_fscanf_sub_82::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_43::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_43::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_83::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_83::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_72::good();");
	CWE191_Integer_Underflow__char_rand_multiply_72::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_74::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_74::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_62::good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_62::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_83::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_83::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_84::good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_84::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_82::good();");
	CWE191_Integer_Underflow__char_min_multiply_82::good();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_81::good();");
	CWE191_Integer_Underflow__char_rand_multiply_81::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_62::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_62::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_83::good();");
	CWE191_Integer_Underflow__int64_t_min_sub_83::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_43::good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_43::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_83::good();");
	CWE191_Integer_Underflow__char_min_sub_83::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_84::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_84::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_43::good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_43::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_73::good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_73::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_43::good();");
	CWE191_Integer_Underflow__char_fscanf_sub_43::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_84::good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_84::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_83::good();");
	CWE191_Integer_Underflow__char_min_multiply_83::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_83::good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_83::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_33::good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_33::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_84::good();");
	CWE191_Integer_Underflow__char_min_multiply_84::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_84::good();");
	CWE191_Integer_Underflow__int64_t_min_sub_84::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_83::good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_83::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_84::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_84::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_83::good();");
	CWE191_Integer_Underflow__char_min_sub_83::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_73::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_73::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_62::good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_62::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_74::good();");
	CWE191_Integer_Underflow__int64_t_min_multiply_74::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_82::good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_82::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_81::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_81::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_83::good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_83::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_72::good();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_72::good();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_83::good();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_83::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_74::good();");
	CWE191_Integer_Underflow__char_fscanf_multiply_74::good();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_73::good();");
	CWE191_Integer_Underflow__char_fscanf_sub_73::good();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_74::good();");
	CWE191_Integer_Underflow__char_min_multiply_74::good();

	/* END-AUTOGENERATED-CPP-GOOD-FUNCTION-CALLS */

#endif /* __cplusplus */

#endif /* OMITGOOD */

#ifndef OMITBAD

	/* Calling C bad functions */
	/* BEGIN-AUTOGENERATED-C-BAD-FUNCTION-CALLS */
	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_66_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_66_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_64_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_64_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_03_bad();");
	CWE191_Integer_Underflow__char_min_sub_03_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_67_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_67_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_06_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_06_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_01_bad();");
	CWE191_Integer_Underflow__char_min_multiply_01_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_05_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_05_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_31_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_31_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_02_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_02_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_01_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_01_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_17_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_17_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_07_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_07_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_01_bad();");
	CWE191_Integer_Underflow__char_rand_sub_01_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_66_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_66_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_54_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_54_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_54_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_54_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_41_bad();");
	CWE191_Integer_Underflow__char_min_multiply_41_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_22_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_22_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_07_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_07_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_31_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_31_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_11_bad();");
	CWE191_Integer_Underflow__char_min_sub_11_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_66_bad();");
	CWE191_Integer_Underflow__char_rand_sub_66_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_53_bad();");
	CWE191_Integer_Underflow__char_min_sub_53_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_52_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_52_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_54_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_54_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_32_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_32_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_02_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_02_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_31_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_31_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_09_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_09_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_18_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_18_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_05_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_05_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_15_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_15_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_64_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_64_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_13_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_13_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_11_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_11_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_31_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_31_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_52_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_52_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_65_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_65_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_21_bad();");
	CWE191_Integer_Underflow__char_min_multiply_21_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_31_bad();");
	CWE191_Integer_Underflow__char_min_multiply_31_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_22_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_22_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_17_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_17_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_64_bad();");
	CWE191_Integer_Underflow__char_min_sub_64_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_07_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_07_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_12_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_12_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_15_bad();");
	CWE191_Integer_Underflow__char_min_sub_15_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_03_bad();");
	CWE191_Integer_Underflow__char_min_multiply_03_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_05_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_05_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_51_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_51_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_06_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_06_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_44_bad();");
	CWE191_Integer_Underflow__char_rand_sub_44_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_34_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_34_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_34_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_34_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_61_bad();");
	CWE191_Integer_Underflow__char_rand_sub_61_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_14_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_14_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_22_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_22_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_11_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_11_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_21_bad();");
	CWE191_Integer_Underflow__char_min_sub_21_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_09_bad();");
	CWE191_Integer_Underflow__char_rand_sub_09_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_06_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_06_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_63_bad();");
	CWE191_Integer_Underflow__char_rand_sub_63_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_63_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_63_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_63_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_63_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_17_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_17_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_16_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_16_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_01_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_01_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_18_bad();");
	CWE191_Integer_Underflow__char_rand_sub_18_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_01_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_01_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_45_bad();");
	CWE191_Integer_Underflow__char_min_multiply_45_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_13_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_13_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_17_bad();");
	CWE191_Integer_Underflow__char_min_multiply_17_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_52_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_52_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_32_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_32_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_10_bad();");
	CWE191_Integer_Underflow__char_min_sub_10_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_21_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_21_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_68_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_68_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_16_bad();");
	CWE191_Integer_Underflow__char_min_multiply_16_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_65_bad();");
	CWE191_Integer_Underflow__char_min_multiply_65_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_61_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_61_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_15_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_15_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_09_bad();");
	CWE191_Integer_Underflow__char_min_multiply_09_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_44_bad();");
	CWE191_Integer_Underflow__char_min_sub_44_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_16_bad();");
	CWE191_Integer_Underflow__char_rand_sub_16_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_07_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_07_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_65_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_65_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_11_bad();");
	CWE191_Integer_Underflow__char_min_multiply_11_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_17_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_17_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_53_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_53_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_42_bad();");
	CWE191_Integer_Underflow__char_min_sub_42_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_10_bad();");
	CWE191_Integer_Underflow__char_min_multiply_10_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_31_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_31_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_16_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_16_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_67_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_67_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_41_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_41_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_67_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_67_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_41_bad();");
	CWE191_Integer_Underflow__char_rand_sub_41_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_31_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_31_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_02_bad();");
	CWE191_Integer_Underflow__char_min_sub_02_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_65_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_65_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_11_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_11_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_14_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_14_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_61_bad();");
	CWE191_Integer_Underflow__char_min_multiply_61_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_07_bad();");
	CWE191_Integer_Underflow__char_min_multiply_07_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_13_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_13_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_01_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_01_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_66_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_66_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_42_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_42_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_11_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_11_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_06_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_06_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_42_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_42_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_03_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_03_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_51_bad();");
	CWE191_Integer_Underflow__char_rand_sub_51_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_13_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_13_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_68_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_68_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_67_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_67_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_18_bad();");
	CWE191_Integer_Underflow__char_min_sub_18_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_51_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_51_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_16_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_16_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_08_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_08_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_61_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_61_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_10_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_10_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_05_bad();");
	CWE191_Integer_Underflow__char_min_multiply_05_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_34_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_34_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_42_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_42_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_21_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_21_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_01_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_01_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_65_bad();");
	CWE191_Integer_Underflow__char_rand_sub_65_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_21_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_21_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_10_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_10_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_21_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_21_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_14_bad();");
	CWE191_Integer_Underflow__char_min_sub_14_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_41_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_41_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_52_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_52_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_22_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_22_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_12_bad();");
	CWE191_Integer_Underflow__char_rand_sub_12_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_41_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_41_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_07_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_07_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_10_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_10_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_03_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_03_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_63_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_63_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_68_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_68_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_09_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_09_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_07_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_07_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_68_bad();");
	CWE191_Integer_Underflow__char_rand_sub_68_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_18_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_18_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_10_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_10_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_09_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_09_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_66_bad();");
	CWE191_Integer_Underflow__char_min_sub_66_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_68_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_68_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_17_bad();");
	CWE191_Integer_Underflow__char_min_sub_17_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_04_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_04_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_66_bad();");
	CWE191_Integer_Underflow__char_min_multiply_66_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_61_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_61_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_52_bad();");
	CWE191_Integer_Underflow__char_min_multiply_52_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_52_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_52_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_32_bad();");
	CWE191_Integer_Underflow__char_min_multiply_32_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_61_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_61_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_66_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_66_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_21_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_21_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_63_bad();");
	CWE191_Integer_Underflow__char_min_sub_63_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_12_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_12_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_08_bad();");
	CWE191_Integer_Underflow__char_min_sub_08_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_21_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_21_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_51_bad();");
	CWE191_Integer_Underflow__char_min_sub_51_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_45_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_45_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_41_bad();");
	CWE191_Integer_Underflow__char_min_sub_41_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_31_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_31_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_18_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_18_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_65_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_65_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_09_bad();");
	CWE191_Integer_Underflow__char_min_sub_09_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_54_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_54_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_11_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_11_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_68_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_68_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_10_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_10_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_41_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_41_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_09_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_09_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_16_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_16_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_51_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_51_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_12_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_12_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_12_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_12_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_52_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_52_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_67_bad();");
	CWE191_Integer_Underflow__char_min_multiply_67_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_66_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_66_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_17_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_17_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_08_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_08_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_13_bad();");
	CWE191_Integer_Underflow__char_min_multiply_13_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_51_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_51_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_42_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_42_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_42_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_42_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_45_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_45_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_44_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_44_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_42_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_42_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_52_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_52_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_52_bad();");
	CWE191_Integer_Underflow__char_rand_sub_52_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_12_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_12_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_17_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_17_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_07_bad();");
	CWE191_Integer_Underflow__char_rand_sub_07_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_53_bad();");
	CWE191_Integer_Underflow__char_min_multiply_53_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_16_bad();");
	CWE191_Integer_Underflow__char_min_sub_16_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_08_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_08_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_02_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_02_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_16_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_16_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_08_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_08_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_22_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_22_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_32_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_32_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_45_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_45_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_06_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_06_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_01_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_01_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_68_bad();");
	CWE191_Integer_Underflow__char_min_sub_68_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_65_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_65_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_04_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_04_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_14_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_14_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_18_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_18_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_17_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_17_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_02_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_02_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_04_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_04_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_66_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_66_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_32_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_32_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_04_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_04_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_18_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_18_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_54_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_54_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_06_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_06_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_21_bad();");
	CWE191_Integer_Underflow__char_rand_sub_21_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_14_bad();");
	CWE191_Integer_Underflow__char_min_multiply_14_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_53_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_53_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_13_bad();");
	CWE191_Integer_Underflow__char_rand_sub_13_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_67_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_67_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_13_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_13_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_03_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_03_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_21_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_21_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_12_bad();");
	CWE191_Integer_Underflow__char_min_multiply_12_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_67_bad();");
	CWE191_Integer_Underflow__char_min_sub_67_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_63_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_63_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_41_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_41_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_61_bad();");
	CWE191_Integer_Underflow__char_min_sub_61_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_16_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_16_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_31_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_31_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_14_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_14_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_07_bad();");
	CWE191_Integer_Underflow__char_min_sub_07_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_15_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_15_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_11_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_11_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_41_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_41_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_17_bad();");
	CWE191_Integer_Underflow__char_rand_sub_17_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_22_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_22_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_67_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_67_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_64_bad();");
	CWE191_Integer_Underflow__char_min_multiply_64_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_44_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_44_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_04_bad();");
	CWE191_Integer_Underflow__char_rand_sub_04_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_53_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_53_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_34_bad();");
	CWE191_Integer_Underflow__char_rand_sub_34_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_53_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_53_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_01_bad();");
	CWE191_Integer_Underflow__char_min_sub_01_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_04_bad();");
	CWE191_Integer_Underflow__char_min_sub_04_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_44_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_44_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_03_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_03_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_05_bad();");
	CWE191_Integer_Underflow__char_rand_sub_05_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_51_bad();");
	CWE191_Integer_Underflow__char_min_multiply_51_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_15_bad();");
	CWE191_Integer_Underflow__char_rand_sub_15_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_64_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_64_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_64_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_64_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_18_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_18_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_53_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_53_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_64_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_64_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_08_bad();");
	CWE191_Integer_Underflow__char_rand_sub_08_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_18_bad();");
	CWE191_Integer_Underflow__char_min_multiply_18_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_08_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_08_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_22_bad();");
	CWE191_Integer_Underflow__char_min_multiply_22_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_05_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_05_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_44_bad();");
	CWE191_Integer_Underflow__char_min_multiply_44_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_66_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_66_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_66_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_66_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_54_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_54_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_09_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_09_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_22_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_22_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_53_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_53_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_14_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_14_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_02_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_02_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_03_bad();");
	CWE191_Integer_Underflow__char_rand_sub_03_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_13_bad();");
	CWE191_Integer_Underflow__char_min_sub_13_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_34_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_34_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_02_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_02_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_03_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_03_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_16_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_16_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_34_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_34_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_06_bad();");
	CWE191_Integer_Underflow__char_min_multiply_06_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_67_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_67_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_68_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_68_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_54_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_54_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_08_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_08_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_64_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_64_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_45_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_45_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_64_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_64_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_12_bad();");
	CWE191_Integer_Underflow__char_min_sub_12_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_44_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_44_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_14_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_14_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_04_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_04_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_16_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_16_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_32_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_32_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_02_bad();");
	CWE191_Integer_Underflow__char_min_multiply_02_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_32_bad();");
	CWE191_Integer_Underflow__char_rand_sub_32_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_44_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_44_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_52_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_52_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_68_bad();");
	CWE191_Integer_Underflow__char_min_multiply_68_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_61_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_61_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_15_bad();");
	CWE191_Integer_Underflow__char_min_multiply_15_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_68_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_68_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_04_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_04_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_54_bad();");
	CWE191_Integer_Underflow__char_min_sub_54_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_68_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_68_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_34_bad();");
	CWE191_Integer_Underflow__char_min_multiply_34_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_03_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_03_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_05_bad();");
	CWE191_Integer_Underflow__char_min_sub_05_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_54_bad();");
	CWE191_Integer_Underflow__char_min_multiply_54_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_34_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_34_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_44_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_44_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_07_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_07_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_02_bad();");
	CWE191_Integer_Underflow__char_rand_sub_02_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_31_bad();");
	CWE191_Integer_Underflow__char_rand_sub_31_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_22_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_22_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_51_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_51_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_09_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_09_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_42_bad();");
	CWE191_Integer_Underflow__char_min_multiply_42_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_34_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_34_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_41_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_41_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_31_bad();");
	CWE191_Integer_Underflow__char_min_sub_31_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_21_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_21_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_53_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_53_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_61_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_61_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_07_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_07_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_51_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_51_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_12_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_12_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_06_bad();");
	CWE191_Integer_Underflow__char_min_sub_06_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_05_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_05_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_06_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_06_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_34_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_34_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_32_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_32_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_53_bad();");
	CWE191_Integer_Underflow__char_rand_sub_53_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_42_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_42_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_32_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_32_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_04_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_04_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_14_bad();");
	CWE191_Integer_Underflow__char_rand_sub_14_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_67_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_67_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_45_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_45_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_64_bad();");
	CWE191_Integer_Underflow__char_rand_sub_64_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_63_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_63_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_08_bad();");
	CWE191_Integer_Underflow__char_min_multiply_08_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_65_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_65_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_18_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_18_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_45_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_45_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_03_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_03_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_05_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_05_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_01_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_01_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_61_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_61_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_22_bad();");
	CWE191_Integer_Underflow__char_min_sub_22_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_13_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_13_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_05_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_05_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_09_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_09_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_04_bad();");
	CWE191_Integer_Underflow__char_min_multiply_04_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_67_bad();");
	CWE191_Integer_Underflow__char_rand_sub_67_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_18_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_18_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_02_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_02_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_06_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_06_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_11_bad();");
	CWE191_Integer_Underflow__char_rand_sub_11_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_15_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_15_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_10_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_10_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_51_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_51_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_65_bad();");
	CWE191_Integer_Underflow__char_min_sub_65_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_64_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_64_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_22_bad();");
	CWE191_Integer_Underflow__char_rand_sub_22_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_15_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_15_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_15_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_15_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_10_bad();");
	CWE191_Integer_Underflow__char_rand_sub_10_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_12_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_12_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_44_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_44_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_15_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_15_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_41_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_41_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_52_bad();");
	CWE191_Integer_Underflow__char_min_sub_52_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_42_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_42_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_34_bad();");
	CWE191_Integer_Underflow__char_min_sub_34_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_06_bad();");
	CWE191_Integer_Underflow__char_rand_sub_06_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_08_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_08_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_02_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_02_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_10_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_10_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_65_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_65_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_54_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_54_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_17_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_17_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_61_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_61_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_32_bad();");
	CWE191_Integer_Underflow__char_min_sub_32_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_63_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_63_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_10_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_10_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_15_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_15_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_12_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_12_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_63_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_63_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_14_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_14_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_42_bad();");
	CWE191_Integer_Underflow__char_rand_sub_42_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_11_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_11_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_65_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_65_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_45_bad();");
	CWE191_Integer_Underflow__char_min_sub_45_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_45_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_45_bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_63_bad();");
	CWE191_Integer_Underflow__char_min_multiply_63_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_05_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_05_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_01_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_01_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_51_bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_51_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_63_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_63_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_45_bad();");
	CWE191_Integer_Underflow__char_rand_sub_45_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_08_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_08_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_32_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_32_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_54_bad();");
	CWE191_Integer_Underflow__char_rand_sub_54_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_09_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_09_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_13_bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_13_bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_13_bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_13_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_53_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_53_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_44_bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_44_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_14_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_14_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_11_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_11_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_45_bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_45_bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_03_bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_03_bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_04_bad();");
	CWE191_Integer_Underflow__char_rand_multiply_04_bad();

	/* END-AUTOGENERATED-C-BAD-FUNCTION-CALLS */




	
#ifdef __cplusplus
	/* Calling C++ bad functions */
	/* BEGIN-AUTOGENERATED-CPP-BAD-FUNCTION-CALLS */
	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_83::bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_83::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_62::bad();");
	CWE191_Integer_Underflow__char_min_sub_62::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_82::bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_82::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_84::bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_84::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_74::bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_74::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_81::bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_81::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_33::bad();");
	CWE191_Integer_Underflow__char_min_sub_33::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_84::bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_84::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_84::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_84::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_84::bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_84::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_43::bad();");
	CWE191_Integer_Underflow__char_rand_multiply_43::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_72::bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_72::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_84::bad();");
	CWE191_Integer_Underflow__char_min_sub_84::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_82::bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_82::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_72::bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_72::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_84::bad();");
	CWE191_Integer_Underflow__char_rand_multiply_84::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_72::bad();");
	CWE191_Integer_Underflow__char_min_sub_72::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_43::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_43::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_82::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_82::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_84::bad();");
	CWE191_Integer_Underflow__char_rand_multiply_84::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_81::bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_81::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_73::bad();");
	CWE191_Integer_Underflow__char_min_sub_73::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_43::bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_43::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_83::bad();");
	CWE191_Integer_Underflow__char_rand_multiply_83::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_84::bad();");
	CWE191_Integer_Underflow__char_min_sub_84::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_33::bad();");
	CWE191_Integer_Underflow__char_min_multiply_33::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_33::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_33::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_82::bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_82::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_72::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_72::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_83::bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_83::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_81::bad();");
	CWE191_Integer_Underflow__char_min_sub_81::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_62::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_62::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_33::bad();");
	CWE191_Integer_Underflow__char_rand_sub_33::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_82::bad();");
	CWE191_Integer_Underflow__char_rand_multiply_82::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_62::bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_62::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_83::bad();");
	CWE191_Integer_Underflow__char_rand_sub_83::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_83::bad();");
	CWE191_Integer_Underflow__char_min_multiply_83::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_74::bad();");
	CWE191_Integer_Underflow__char_rand_multiply_74::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_83::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_83::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_33::bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_33::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_84::bad();");
	CWE191_Integer_Underflow__char_rand_sub_84::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_81::bad();");
	CWE191_Integer_Underflow__char_min_multiply_81::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_84::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_84::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_33::bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_33::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_73::bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_73::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_83::bad();");
	CWE191_Integer_Underflow__char_rand_multiply_83::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_74::bad();");
	CWE191_Integer_Underflow__char_min_sub_74::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_82::bad();");
	CWE191_Integer_Underflow__char_rand_sub_82::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_81::bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_81::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_62::bad();");
	CWE191_Integer_Underflow__char_rand_sub_62::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_73::bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_73::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_72::bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_72::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_73::bad();");
	CWE191_Integer_Underflow__char_rand_sub_73::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_83::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_83::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_62::bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_62::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_81::bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_81::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_43::bad();");
	CWE191_Integer_Underflow__char_min_sub_43::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_74::bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_74::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_73::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_73::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_84::bad();");
	CWE191_Integer_Underflow__char_min_multiply_84::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_74::bad();");
	CWE191_Integer_Underflow__char_rand_sub_74::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_83::bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_83::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_81::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_81::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_33::bad();");
	CWE191_Integer_Underflow__char_rand_multiply_33::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_72::bad();");
	CWE191_Integer_Underflow__char_min_multiply_72::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_82::bad();");
	CWE191_Integer_Underflow__char_min_sub_82::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_33::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_33::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_84::bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_84::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_73::bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_73::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_33::bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_33::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_62::bad();");
	CWE191_Integer_Underflow__char_min_multiply_62::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_84::bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_84::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_73::bad();");
	CWE191_Integer_Underflow__char_min_multiply_73::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_72::bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_72::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_33::bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_33::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_62::bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_62::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_43::bad();");
	CWE191_Integer_Underflow__char_min_multiply_43::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_74::bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_74::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_83::bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_83::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_43::bad();");
	CWE191_Integer_Underflow__char_rand_sub_43::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_72::bad();");
	CWE191_Integer_Underflow__char_rand_sub_72::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_72::bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_72::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_83::bad();");
	CWE191_Integer_Underflow__char_rand_sub_83::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_81::bad();");
	CWE191_Integer_Underflow__char_rand_sub_81::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_sub_84::bad();");
	CWE191_Integer_Underflow__char_rand_sub_84::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_82::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_82::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_73::bad();");
	CWE191_Integer_Underflow__char_rand_multiply_73::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_83::bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_83::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_62::bad();");
	CWE191_Integer_Underflow__char_rand_multiply_62::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_81::bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_81::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_74::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_74::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_43::bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_43::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_84::bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_84::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_84::bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_84::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_82::bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_82::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_43::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_43::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_83::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_83::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_72::bad();");
	CWE191_Integer_Underflow__char_rand_multiply_72::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_74::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_74::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_62::bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_62::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_83::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_83::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_84::bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_84::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_82::bad();");
	CWE191_Integer_Underflow__char_min_multiply_82::bad();

	printLine("Calling CWE191_Integer_Underflow__char_rand_multiply_81::bad();");
	CWE191_Integer_Underflow__char_rand_multiply_81::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_62::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_62::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_83::bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_83::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_43::bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_43::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_83::bad();");
	CWE191_Integer_Underflow__char_min_sub_83::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_84::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_84::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_43::bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_43::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_73::bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_73::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_43::bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_43::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_84::bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_84::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_83::bad();");
	CWE191_Integer_Underflow__char_min_multiply_83::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_83::bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_83::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_33::bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_33::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_84::bad();");
	CWE191_Integer_Underflow__char_min_multiply_84::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_sub_84::bad();");
	CWE191_Integer_Underflow__int64_t_min_sub_84::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_83::bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_83::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_84::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_84::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_sub_83::bad();");
	CWE191_Integer_Underflow__char_min_sub_83::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_73::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_73::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_62::bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_62::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_min_multiply_74::bad();");
	CWE191_Integer_Underflow__int64_t_min_multiply_74::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_82::bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_82::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_sub_81::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_sub_81::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_83::bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_83::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_fscanf_multiply_72::bad();");
	CWE191_Integer_Underflow__int64_t_fscanf_multiply_72::bad();

	printLine("Calling CWE191_Integer_Underflow__int64_t_rand_multiply_83::bad();");
	CWE191_Integer_Underflow__int64_t_rand_multiply_83::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_multiply_74::bad();");
	CWE191_Integer_Underflow__char_fscanf_multiply_74::bad();

	printLine("Calling CWE191_Integer_Underflow__char_fscanf_sub_73::bad();");
	CWE191_Integer_Underflow__char_fscanf_sub_73::bad();

	printLine("Calling CWE191_Integer_Underflow__char_min_multiply_74::bad();");
	CWE191_Integer_Underflow__char_min_multiply_74::bad();

	/* END-AUTOGENERATED-CPP-BAD-FUNCTION-CALLS */
	
#endif /* __cplusplus */

#endif /* OMITBAD */

	return 0;

} 
