Constant WT_EXECUTEDEFAULT 

pub const WT_EXECUTEDEFAULT: WORKER_THREAD_FLAGS;