pub const isc_indexnotdefined: u32 = 335544471;