Source position: gnutls.pp line 1066
type Tgnutls_srp_server_credentials_t = Pgnutls_srp_server_credentials_st;