Source position: gnutls.pp line 804
type Pgnutls_anon_server_credentials_st = ^Tgnutls_anon_server_credentials_st;