Constant MUST_SUCCEED_POOL_EMPTY 

pub const MUST_SUCCEED_POOL_EMPTY: BUGCHECK_ERROR;