0.) C <- B - A 1.) A <- A - 1 2.) if B != A then (1.) else (3.) 3.) if D != B then (9.) else (4.) 4.) C <- A - B 5.) D <- D - 1 6.) if C == A then (1.) else (6.) 7.) if D < C then (5.) else (1.) 8.) C <- A - B