functor (P : PROFILE) (G : Netsys_gssapi.GSSAPI->
  Nethttp.HTTP_CLIENT_MECHANISM