deogenerate is not registered for the Fiesta.