ff_fixpoint-1