static void main_sink(int * data){printIntLine(data[0]);}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);main_sink(data);}
static void main_sink(int * data){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;}}main_sink(data);}