void _main_sink(char * data){{char data_src[10+1]=SRC_STRING;strcpy(data, data_src);printLine(data);free(data);}}void _main(){char * data;data=NULL;data=(char *)malloc(10*sizeof(char));_main_sink(data);}
void _main_sink(char * data){{char data_src[10+1]=SRC_STRING;strcpy(data, data_src);printLine(data);free(data);}}static void main(){char * data;data=NULL;data=(char *)malloc((10+1)*sizeof(char));_main_sink(data);}