void _main(){wchar_t * data;wchar_t data_mainbuf[50];wchar_t data_goodbuf[100];data=data_mainbuf;{wchar_t * data_copy=data;wchar_t * data=data_copy;{wchar_t src[100];_snwprintf(data, 100, L"%s", src);printWLine(data);}}}
static void main(){wchar_t * data;wchar_t data_badbuf[50];wchar_t data_goodbuf[100];data=data_goodbuf;{wchar_t * data_copy=data;wchar_t * data=data_copy;{wchar_t src[100];_snwprintf(data, 100, L"%s", src);printWLine(data);}}}