Constant SERVICE_NTIP_WAITTIME_SHIFT 

pub const SERVICE_NTIP_WAITTIME_SHIFT: u32 = 12u32;