Constant WT_EXECUTEINTIMERTHREAD 

pub const WT_EXECUTEINTIMERTHREAD: WORKER_THREAD_FLAGS;