pub const isc_bug_check: u32 = 335544333;