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