modification
 add fixpoint
program OK