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