void b_main_sink(int * data_array[]);void _main(){int * data;int * data_array[5];int data_mainbuf[50];int data_goodbuf[100];data=data_mainbuf;data_array[2]=data;b_main_sink(data_array);}void b_main_sink(int * data_array[]){int * data=data_array[2];{{size_t i;for (i=0;i < 100;i++){data[i]=src[i];}printIntLine(data[0]);}}}
void b_main_sink(int * data_array[]);static void main(){int * data;int * data_array[5];int data_badbuf[50];int data_goodbuf[100];data=data_goodbuf;data_array[2]=data;b_main_sink(data_array);}void b_main_sink(int * data_array[]){int * data=data_array[2];{{size_t i;for (i=0;i < 100;i++){data[i]=src[i];}printIntLine(data[0]);}}}