a := b;
b := c;
c := a;
main := a;