functor (P : PROFILE-> Netsys_sasl_types.SASL_MECHANISM