pub const WaitDequeue: u32 = WaitNotification + 1u32; // 3u32