pub const GPG_ERR_BAD_HS_SERVER_HELLO: u32 = 245; // 245u32