void b_main_sink(wchar_t * data);void _main(){wchar_t * data;void (*func_ptr) (wchar_t *)=b_main_sink;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;func_ptr(data);}void b_main_sink(wchar_t * data){{wchar_t dest[100];wmemset(dest, L'C', 100-1);memcpy(dest, data, wcslen(dest)*sizeof(wchar_t));dest[100-1]=L'\0';printWLine(dest);}}
void b_main_sink(wchar_t * data);static void main(){wchar_t * data;void (*func_ptr) (wchar_t *)=b_main_sink;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;func_ptr(data);}void b_main_sink(wchar_t * data){{wchar_t dest[100];wmemset(dest, L'C', 100-1);memcpy(dest, data, wcslen(dest)*sizeof(wchar_t));dest[100-1]=L'\0';printWLine(dest);}}