Source position: gnutls.pp line 1069
type Tgnutls_psk_client_credentials_t = Pgnutls_psk_client_credentials_st;