pub const GPG_ERR_ASSUAN_SERVER_FAULT: u32 = 80; // 80u32