void b_main_sink();void _main(){int * data;data=(int *)calloc(100, sizeof(int));_main_data_for_main_sink=data;b_main_sink();}void b_main_sink(){int * data=_main_data_for_main_sink;data[0]=5;printIntLine(data[0]);free(data);}
void b_main_sink();static void main(){int * data;data=(int *)calloc(100, sizeof(int));_bad_data_for_good_sink=data;b_main_sink();}void b_main_sink(){int * data=_bad_data_for_good_sink;if (data!=NULL){data[0]=5;printIntLine(data[0]);free(data);}}