void _main(){wchar_t * data;data=(wchar_t *)malloc(100);{wchar_t * data_copy=data;wchar_t * data=data_copy;wcscpy(data, L"Initialize");printWLine(data);free(data);}}
static void main(){wchar_t * data;data=(wchar_t *)malloc(100);{wchar_t * data_copy=data;wchar_t * data=data_copy;if (data!=NULL){wcscpy(data, L"Initialize");printWLine(data);free(data);}}}