pub const isc_bad_debug_format: u32 = 335544875;