void b_main_sink();void _main(){char * data;data=(char *)calloc(100, sizeof(char));_main_data_for_main_sink=data;b_main_sink();}void b_main_sink(){char * data=_main_data_for_main_sink;strcpy(data, "Initialize");printLine(data);free(data);}
void b_main_sink();static void main(){char * data;data=(char *)calloc(100, sizeof(char));_bad_data_for_good_sink=data;b_main_sink();}void b_main_sink(){char * data=_bad_data_for_good_sink;if (data!=NULL){strcpy(data, "Initialize");printLine(data);free(data);}}