void b_main_sink(double * * data_ptr);void _main(){double * data;double data_uninit_array[10];data=data_uninit_array;b_main_sink(&data);}void b_main_sink(double * * data_ptr){double * data=*data_ptr;{int i;for(i=0;i<10;i++){printDoubleLine(data[i]);}}}
static void main(){double * data;double data_uninit_array[10];data=data_uninit_array;b_main_sink(&data);}void b_main_sink(double * * data_ptr){double * data=*data_ptr;{int i;for(i=0;i<10;i++){data[i]=(double)i;}}{int i;for(i=0;i<10;i++){printDoubleLine(data[i]);}}}