(START) |- 0
0 a 1
1 b 2
2 -| (FINAL)
1 b 0
