Constant WT_EXECUTEINPERSISTENTTHREAD

pub const WT_EXECUTEINPERSISTENTTHREAD: u32 = 128;