pub const GPG_ERR_DNS_CLOSED: u32 = 716; // 716u32