pub const MUST_SUCCEED_POOL_EMPTY: BUGCHECK_ERROR = 65u32;