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