(START) |- 3
0 -| (FINAL)
0 z 1
1 -| (FINAL)
1 q 2
2 -| (FINAL)
2 x 2
2 z 3
3 -| (FINAL)
3 q 0
3 x 3
