45     FILE *file;  in main()  local
50     file = fopen("testfile.dat", "w");  in main()
51     if (file == NULL) return 1;  in main()
53     /* Write wide characters to the file */  in main()
54     fputws(string, file);  in main()
55 	fclose(file);  in main()
58     file = fopen("testfile.dat", "r");  in main()
62         /* Read wide-char by wide-char from the file */  in main()
63 		res = fgetwc(file);  in main()
65             printf("Test Failed: Failed to read wide character from file\n");  in main()
70     if(fgetwc(file) != WEOF) {  in main()
71         printf("Test Failed: Failed to check if end-of-file reached\n");  in main()