void _main(){int * data;data=NULL;data=(int *)malloc(100*sizeof(int));{size_t i;for(i=0;i < 100;i++){data[i]=5;}}free(data);{int * data_copy=data;int * data=data_copy;printIntLine(data[0]);}}
static void main(){int * data;data=NULL;data=(int *)malloc(100*sizeof(int));{size_t i;for(i=0;i < 100;i++){data[i]=5;}}free(data);{int * data_copy=data;int * data=data_copy;}}