Constant BAD_POOL_HEADER

pub const BAD_POOL_HEADER: BUGCHECK_ERROR = 25u32;