Constant NOTIFY_WAITERS_SHIFT

const NOTIFY_WAITERS_SHIFT: usize = 2;