pub const ETW_DOUBLE_TYPE_VALUE: u32 = 13u32;