Source position: gnutls.pp line 859
type Pgnutls_psk_client_credentials_st = ^Tgnutls_psk_client_credentials_st;