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