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