void _main(){int * data;data=(int *)malloc(100);{int * data_copy=data;int * data=data_copy;data[0]=5;printIntLine(data[0]);free(data);}}
static void main(){int * data;data=(int *)malloc(100);{int * data_copy=data;int * data=data_copy;if (data!=NULL){data[0]=5;printIntLine(data[0]);free(data);}}}