Constant DS_GOOD_TIMESERV_PREFERRED 

pub const DS_GOOD_TIMESERV_PREFERRED: u32 = 8192u32;