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