Fiorino 3/4/5/ Van 08 with fixpoints