Constant OPTION_NETWORK_TIME_SERVERS

pub const OPTION_NETWORK_TIME_SERVERS: u32 = 42u32;