pub const GPG_ERR_ASSUAN_SERVER_FAULT: gpg_err_code_t = 80;