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