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