BufferType In WMI_BUFFER_HEADER

In versions 5.2 and higher, the WMI_BUFFER_HEADER has a USHORT member named BufferType at offset 0x36. Microsoft’s names for the possible values (which are defined by macros and thus do not pass into symbol files as type information) are known from the NTWMI.H that Microsoft pubilshed, possibly by accident, with the original and Version 1511 editions of the Windows Driver Kit (WDK) for Windows 10: