static void main_sink(){int * data=_main_data;free(data);}void _main(){int * data;data=NULL;data=(int *)malloc(100*sizeof(int));free(data);_main_data=data;main_sink();}
static void main_sink(){int * data=_main_data;}static void main(){int * data;data=NULL;data=(int *)malloc(100*sizeof(int));free(data);_main_data=data;main_sink();}