Constant NOTIFY_WAITERS_SHIFT 

const NOTIFY_WAITERS_SHIFT: usize = 2;