Source position: gnutls.pp line 817
type Pgnutls_certificate_server_credentials = ^Tgnutls_certificate_server_credentials;