void b_main_sink();void _main(){char * data;data=NULL;data=(char *)malloc(50*sizeof(char));_main_data=data;b_main_sink();}void b_main_sink(){char * data=_main_data;{char src[100];strncpy(data, src, 100);printLine(data);free(data);}}
void b_main_sink();static void main(){char * data;data=NULL;data=(char *)malloc(100*sizeof(char));_main_data=data;b_main_sink();}void b_main_sink(){char * data=_main_data;{char src[100];strncpy(data, src, 100);printLine(data);free(data);}}