--- a/Win32OperatingSystem.st	Sat Nov 10 16:04:29 2018 +0100
+++ b/Win32OperatingSystem.st	Sun Nov 11 20:41:28 2018 +0100
@@ -824,6 +824,7 @@
     static int haveVersion = 0;
     static char *system = "unknown";
 
+console_printf(">OSVersion\n");
     if (! haveVersion) {
 	int winVer;
 	DWORD vsn;
@@ -844,6 +845,7 @@
 			system = "win7";
 			if (verMinor >= 2) {
 			    system = "win8";
+			    console_printf(">win8\n");
 			    {
 				static HINSTANCE libHandle = NULL;
 
@@ -866,6 +868,7 @@
 				    }
 				}
 			    }
+			    console_printf("<win8\n");
 			}
 		    }
 		}
@@ -874,6 +877,7 @@
 	    }
 	}
     }
+console_printf("<OSVersion\n");
     *pMajor = verMajor;
     *pMinor = verMinor;
     return system;