Source position: gnutls.pp line 1037
type Tgnutls_anon_server_credentials_t = Pgnutls_anon_server_credentials_st;