Constant OPTION_NETWORK_INFO_SERVERS 

pub const OPTION_NETWORK_INFO_SERVERS: u32 = 41u32;