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