Constant WNODE_FLAG_TRACED_GUID 

pub const WNODE_FLAG_TRACED_GUID: u32 = 131072u32;