pub const DS_LIST_DNS_HOST_NAME_FOR_SERVER: u32 = 1u32;