#pragma classflags(64)
#pragma namespace("\\\\.\\root\\WMI")
instance of __namespace{ name="ms_40c";};
#pragma namespace("\\\\.\\root\\WMI\\ms_40c")

[AMENDMENT, LOCALE(0x040c)] 
class WinInit : EventTrace
{
  [ValueMap{"0x00000001", "0x00000002", "0x00000004", "0x00000008", "0x00000010", "0x00000020", "0x00000040"} : Amended] uint32 Flags;
};