Source position: gnutls.pp line 1035
type Tgnutls_certificate_server_credentials = Tgnutls_certificate_credentials_t;