Constant DNS_QUERY_NO_HOSTS_FILE 

pub const DNS_QUERY_NO_HOSTS_FILE: DNS_QUERY_OPTIONS;