void b_main_sink(void * void_data_ptr);void _main(){int * data;data=(int *)malloc(10*sizeof(int));b_main_sink(&data);}void b_main_sink(void * void_data_ptr){int * * data_ptr=(int * *)void_data_ptr;int * data=(*data_ptr);{int i;for(i=0;i<10;i++){printIntLine(data[i]);}}}
static void main(){int * data;data=(int *)malloc(10*sizeof(int));{int i;for(i=0;i<10;i++){data[i]=i;}}b_main_sink(&data);}void b_main_sink(void * void_data_ptr){int * * data_ptr=(int * *)void_data_ptr;int * data=(*data_ptr);{int i;for(i=0;i<10;i++){printIntLine(data[i]);}}}