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