Constant isc_gfix_bad_pool 

pub const isc_gfix_bad_pool: u32 = 335740994;