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