pub const isc_funnotdef: u32 = 335544438;