Scudo 4/5-dr fixpoint 07-16