functor (P : PROFILE) (GSS : Netsys_gssapi.GSSAPI->
  Netsys_sasl_types.SASL_MECHANISM