void _main(){char * data;data=NULL;data=(char *)malloc(100*sizeof(char));free(data);{char * data_copy=data;char * data=data_copy;free(data);}}
static void main(){char * data;data=NULL;data=(char *)malloc(100*sizeof(char));{char * data_copy=data;char * data=data_copy;free(data);}}