(START) |- 0
0 a 1
1 c 2
1 b 0
2 e 3
2 d 0
3 -| (FINAL)
