void b_main_sink(void * void_data_ptr);void _main(){double * data;data=(double *)malloc(10*sizeof(double));b_main_sink(&data);}void b_main_sink(void * void_data_ptr){double * * data_ptr=(double * *)void_data_ptr;double * data=(*data_ptr);{int i;for(i=0;i<10;i++){printDoubleLine(data[i]);}}}
static void main(){double * data;data=(double *)malloc(10*sizeof(double));b_main_sink(&data);}void b_main_sink(void * void_data_ptr){double * * data_ptr=(double * *)void_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]);}}}