1. enter(a)
2. enter(a), exit(b)
3. enter(a), enter(b), exit(a), exit(b)
4. exit(a)
5. enter(a), enter(b), exit(b)
6. enter(b), exit(b), enter(a)
...
x {sync k/w}