void _main(){void * data;void * *data_ptr1=&data;void * *data_ptr2=&data;data=NULL;{void * data=*data_ptr1;data=WIDE_STRING;}{void * data=*data_ptr2;{size_t data_len=strlen((char *)data);void * data_dest=(void *)calloc(data_len+1, 1);memcpy(data_dest, data, (data_len+1));printLine((char *)data_dest);free(data_dest);}}}
static void main(){void * data;void * *data_ptr1=&data;void * *data_ptr2=&data;data=NULL;{void * data=*data_ptr1;data=WIDE_STRING;}{void * data=*data_ptr2;{size_t data_len=wcslen((wchar_t *)data);void * data_dest=(void *)calloc(data_len+1, sizeof(wchar_t));memcpy(data_dest, data, (data_len+1)*sizeof(wchar_t));printWLine((wchar_t *)data_dest);free(data_dest);}}}