void b_main_sink(void * void_data_ptr);void _main(){char * data;char data_mainbuf[50];char data_goodbuf[100];data=data_mainbuf;b_main_sink(&data);}void b_main_sink(void * void_data_ptr){char * * data_ptr=(char * *)void_data_ptr;char * data=(*data_ptr);{char src[100];strncpy(data, src, 100);printLine(data);}}
void b_main_sink(void * void_data_ptr);static void main(){char * data;char data_badbuf[50];char data_goodbuf[100];data=data_goodbuf;b_main_sink(&data);}void b_main_sink(void * void_data_ptr){char * * data_ptr=(char * *)void_data_ptr;char * data=(*data_ptr);{char src[100];strncpy(data, src, 100);printLine(data);}}