Constant DEFAULT_CHECK_INTERVAL 

pub const DEFAULT_CHECK_INTERVAL: Duration;