Constant isc_info_max_receive 

pub const isc_info_max_receive: u32 = 7;