Constant DHCP_AUTO_ATTEMPT_INTERVAL_TICKS 

const DHCP_AUTO_ATTEMPT_INTERVAL_TICKS: u64 = 500;