Source position: gnutls.pp line 864
type Pgnutls_psk_server_credentials_t = ^Tgnutls_psk_server_credentials_t;