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