Constant WT_EXECUTEINUITHREAD

pub const WT_EXECUTEINUITHREAD: ULONG = 0x00000002;