void b_main_sink(wchar_t * data);void _main(){wchar_t * data;wchar_t data_mainbuf[50];wchar_t data_goodbuf[100];data=data_mainbuf;b_main_sink(data);}void b_main_sink(wchar_t * data){{wchar_t src[100];memcpy(data, src, 100*sizeof(wchar_t));printWLine(data);}}
void b_main_sink(wchar_t * data);static void main(){wchar_t * data;wchar_t data_badbuf[50];wchar_t data_goodbuf[100];data=data_goodbuf;b_main_sink(data);}void b_main_sink(wchar_t * data){{wchar_t src[100];memcpy(data, src, 100*sizeof(wchar_t));printWLine(data);}}