A program with multiple assignment:
burce = 5 print bruce, bruce = 7 print bruce
prints:
5 7
The state diagram for bruce is:
