For debugging and maintenance, I like to add a print statement in my driver
that shows the WDK version used for compiling the driver like "This driver
was compiled with WDK version 6000". How can I do this? (This is invoked
through a special debug_ioctl and as such not seen in normal operations).