(START) |- 3
3 a 4
4 b 5
5 a 7
7 b 8
8 -| (FINAL)
