void b_main_sink();void _main(){char * data;data=NULL;data=(char *)malloc(100*sizeof(char));strcpy(data, "A String");printLine(data);_main_data=data;b_main_sink();}void b_main_sink(){char * data=_main_data;}
static void main(){char * data;data=NULL;{char data_goodbuf[100];data=data_goodbuf;strcpy(data, "A String");printLine(data);}_main_data=data;b_main_sink();}void b_main_sink(){char * data=_main_data;}