loop: goto finish if b=0 dec b inc a goto loop finish: halt