Constant BAD_POOL_HEADER 

pub const BAD_POOL_HEADER: BUGCHECK_ERROR;