module1 a b f1 Z update1 f1 Z r1 X Y Z f1 Z r2 Z X Y change1 X Y update2 f1 1 f1 Z r3 X Y Z change2 X Y change3 X Y f1 Z change4 Z f1 Z change5 Z