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