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