Constant OPTION_TIME_SERVERS 

pub const OPTION_TIME_SERVERS: u32 = 4u32;