Constant WT_EXECUTEINPERSISTENTTHREAD 

pub const WT_EXECUTEINPERSISTENTTHREAD: u32 = 128;