void _main(){wchar_t * data;wchar_t * data_mainbuf=(wchar_t *)ALLOCA(50*sizeof(wchar_t));wchar_t * data_goodbuf=(wchar_t *)ALLOCA(100*sizeof(wchar_t));if(global_returns_t_or_f()){data=data_mainbuf;}else{data=data_goodbuf;}{size_t i;wchar_t src[100];for (i=0;i < 100;i++){data[i]=src[i];}printWLine(data);}}
static void main(){wchar_t * data;wchar_t * data_badbuf=(wchar_t *)ALLOCA(50*sizeof(wchar_t));wchar_t * data_goodbuf=(wchar_t *)ALLOCA(100*sizeof(wchar_t));if(global_returns_t_or_f()){data=data_goodbuf;}else{data=data_goodbuf;}{size_t i;wchar_t src[100];for (i=0;i < 100;i++){data[i]=src[i];}printWLine(data);}}