(START) |- 0
0 a 1
1 b 2
2 a 4
4 b 5
5 -| (FINAL)
