Source position: gnutls.pp line 863
type Pgnutls_psk_server_credentials_st = ^Tgnutls_psk_server_credentials_st;