void _main(){wchar_t * data;_union_type my_union;wchar_t * data_mainbuf=(wchar_t *)ALLOCA(50*sizeof(wchar_t));wchar_t * data_goodbuf=(wchar_t *)ALLOCA(100*sizeof(wchar_t));data=data_mainbuf;my_union.a=data;{wchar_t * data=my_union.b;{wchar_t src[100];wcsncpy(data, src, 100);printWLine(data);}}}
static void main(){wchar_t * data;_union_type my_union;wchar_t * data_badbuf=(wchar_t *)ALLOCA(50*sizeof(wchar_t));wchar_t * data_goodbuf=(wchar_t *)ALLOCA(100*sizeof(wchar_t));data=data_goodbuf;my_union.a=data;{wchar_t * data=my_union.b;{wchar_t src[100];wcsncpy(data, src, 100);printWLine(data);}}}