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


