pub const DNS_ERROR_NO_BOOTFILE_IF_DS_ZONE: u32 = 9719; // 9_719u32