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