# once halts A=0, B=6

1 inc A 2
2 inc A 3
3 inc A 4

4 dec A 4 5

5 inc B 6
6 inc B 7

7 inc A 8
8 inc A 9
9 dec B 7 10

10 halt