pub const WT_EXECUTEDEFAULT: WORKER_THREAD_FLAGS = 0u32;