pub const BAD_POOL_HEADER: BUGCHECK_ERROR = 25u32;