functor (P : PROFILE) -> Netsys_sasl_types.SASL_MECHANISM