pub const isc_segstr_eof: u32 = 335544367;