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