static void main_sink(HANDLE data){CloseHandle(data);}void _main(){HANDLE data;data=CreateFile("BadSource_w32CreateFile.txt", (GENERIC_WRITE|GENERIC_READ), 0, NULL, OPEN_ALWAYS, FILE_ATTRIBUTE_NORMAL, NULL);CloseHandle(data);main_sink(data);}
static void main_sink(HANDLE data){}static void main(){HANDLE data;data=CreateFile("BadSource_w32CreateFile.txt", (GENERIC_WRITE|GENERIC_READ), 0, NULL, OPEN_ALWAYS, FILE_ATTRIBUTE_NORMAL, NULL);CloseHandle(data);main_sink(data);}