Constant BAD_POOL_HEADER

pub const BAD_POOL_HEADER: BUGCHECK_ERROR;