pub const isc_gfix_bad_pool: u32 = 335740994;